13392 (v.2) Software Modelling and Analysis 351

---

 

Area:	Department of Computing
Contact Hours:	5.0
Credits:	25.0
Lecture:	1 x 2 Hours Weekly
Tutorial:	1 x 3 Hours Weekly
Prerequisite(s):	8934 (v.7) Software Engineering 252 or any previous version
Objectives of formal methods, form, content and the application of formal specifications. Notations, tools and standards for specification languages, model oriented specifications, algebraic specification and specification of concurrent systems.