SW4520 Advanced Software Engineering
This course covers methods for specifying, designing, and analyzing software systems, with emphasis on automatable techniques and their mathematical basis. The techniques are applied to construct and check programs using a formal specification language. The course concludes with a summary of current research areas in software engineering.
Lecture Hours
3
Lab Hours
0