COSC 4319. Software Engineering. 3 Hours.
This course is an introduction to formal methods of specifying, designing, implementing and testing software for large programming projects. Methods of estimating and predicting reliability are discussed.
Prerequisite: 6 advanced hours of COSC and COSC 3318.
...COSC 4337 , COSC 4318 , COSC 4326 , COSC 4327 , COSC 4332 , COSC 4340 , or DFSC 4319 .