IKT706 Using Semantics to Generate Code
- Studiepoeng:
- 5
- Ansvarlig avdeling:
- Fakultet for teknologi og realfag
- Undervisningssemester:
- Vår
- Varighet:
- 1 semester
Emnet er tilknyttet følgende studieprogram
- Informasjons- og kommunikasjonsteknologi, ph.d.-program
- Ph.d.-program i teknologi og realfag
Anbefalte forkunnskaper
IKT617 or equivalent.
Innhold
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.
Læringsutbytte
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
Vilkår for å gå opp til eksamen
Approved project report.
Undervisnings- og læringsformer
Lectures (2 hours per week) and project.
Eksamen
Oral examination. Pass/Fail.