Formal Methods in Software Engineering (SE 562) Course Details

Course Name: Formal Methods in Software Engineering
Code: SE 562
Pre-requisite Course(s):
Objective: The objective of this course is to teach formal methods for software specification. With the help of fundamental mathematical and engineering principles, it intends to provide the means for greater precision in both thinking and documenting the preliminary stage of the software creation process. Besides, this course will integrate formal methods with software engineering practices.
Content: Introduction to formal specifications for software development; software specification and development with mathematical semantics; constructing formal specifications for software-intensive systems; specification languages, Z, object Z and OCL; relating specifications and implementations; role of formal specification in system life cycle; classification of formal methods; formal validation and verification
Term: Both
Theory: 3
Application: 0
Laboratory: 0
Credit: 3
ECTS Course File: Course File
Course File: Course File