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.

Prerequisite

SW3460

Lecture Hours

3

Lab Hours

0

Quarter Offered

  • As Required