Mar 29, 2024  
2010-2011 Academic Catalog 
    
2010-2011 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

CSCE 541 - Advanced Software Engineering


Formal methods in software engineering, first-order logic, basic specification elements and rigorous proofs. Verification and validation. Testing and debugging techniques and tools. Reusability, modularity, top-down and bottom-up development approaches, object classification, support for concurrency and polymorphism.
(3 cr.)



Add to Portfolio (opens a new window)