302968 (v.1) Program Design 651

---

 

Area:	Department of Computing
Credits:	25.0
Contact Hours:	5.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
Syllabus:	Formal methods in the development of software systems.