TR    EN

Formal Methods in Software Engineering (SE 462) Course Details

Course Name: Formal Methods in Software Engineering
Code: SE 462
Pre-requisite Course(s):
Objective: The objective of this course is to teach formal methods for software specification. It also stresses the fundamental mathematical and engineering principles that should form the basis of software engineering. Besides, this course will integrate formal methods with software engineering practices.
Content: Introduction to formal methods. Fundamental aspect of formal specifications. 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: Autumn
Theory: 3
Application: 0
Laboratory: 0
Credit: 3
ECTS Course File: Course File
Course File: Course File