IKT706 Using Semantics to Generate Code
- ECTS Credits:
- 5
- Responsible department:
- Faculty of Engineering and Science
- Lecture Semester:
- Spring
- Teaching language:
- English.
- Duration:
- 1 term
The course is connected to the following study programs
- Information and Communication Technology, PhD Programme
- PhD Programme in Engineering and Science
Teaching language
English.Recommended prerequisites
IKT617 or equivalent.
Course contents
The course provides an overview of modern ways to define semantics of modelling languages and language constructs and how to use this for generating modelling tools.
It will cover all aspects of modelling languages, i.e. structure in terms of abstract grammars and MOF-metamodels, static constraints using logic in the sense of PC1 or OCL, representation in terms of graphics and textual grammars, and dynamic behaviour described using denotational and operational techniques.
Learning outcomes
After completing the course, the student is expected to:
have an overview of the use of formal notations to define semantics for languages
be able to specify and implement transformations between several languages and notations
Examination requirements
Approved project report.
Teaching methods
Lectures (2 hours per week) and project.
Assessment methods and criteria
Oral examination. Pass/Fail.