5500 (v.5) Program Design 551

---

 

Area:	Department of Computing
Contact Hours:	5.0
Credits:	25.0
Lecture:	1 x 2 Hours Weekly
Other:	1 x 3 Hours Weekly
Prerequisite(s):	5405 (v.7) Software Engineering 502 or any previous version AND 10079 (v.3) Software Engineering 501 or any previous version
Formal methods in the development of software systems.