Formal Techniques in Software Engineering

Course Code :1001WETFSE
Study domain:Computer Science
Academic year:2013-2014
Semester:2nd semester
Sequentiality:Minimum 8/20 for Advanced programming, Languages and machines, Data structures, Machines and computability, Databases & XML and Programming project databases.
Contact hours:60
Study load (hours):168
Contract restrictions: No contract restriction
Language of instruction:English
Exam period:exam in the 2nd semester
Lecturer(s)Dirk Janssens
Serge Demeyer

3. Course contents

This course is a organised as a practical introduction to the field of "model driven engineering" (MDE) using techniques like model transformation, formal semantics to improve software engineering practices. In an MDE approach, a software system is developed starting from one or more abstract, platform-independent models, which are gradually refined and complemented by providing platform-specific information. This stepwise process is supported by semi-automatic model transformation engines.