Innholdsfortegnelse

Emnet er tilknyttet følgende studieprogram

Anbefalte forkunnskaper

IKT617 or equivalent.

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

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.

Undervisnings- og læringsformer

Lectures (2 hours per week) and project.

Vilkår for å gå opp til eksamen

Approved project report.

Eksamen

Oral examination. Pass/Fail.
Sist hentet fra FS (Felles studentsystem) 15. okt. 2026 13:19:28