|
Mar 28, 2024
|
|
|
|
CSCE 541/5271 - Advanced Software Engineering (3 cr.)
Description 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.
Add to Portfolio (opens a new window)
|
|