Table of contents

The course is connected to the following study programs

Teaching language

English.

Learning outcomes

After completing the course, the student is expected to:

  • understand the research questions and research methods in formal methods as they are applied to mobile communication systems
  • know the advantages and disadvantages of using formal methods depending on the application area
  • be able to apply formal methods in their own specialization area
  • be able to simplify and formally model complex problems
  • have an in-depth understanding of the relation between models and reality in their own specialization area
  • be able to compare different formal views on their own specialization area

Contents

  • Modelling and meta-modelling for describing a domain precisely: approach, tools, state of the art.
  • Notations, architectures and models for describing and analysing distributed communicating distributed systems, e.g. process algebras, mobile calculi, event-based vs. state-based formalisms.
  • Notations, architectures and models for describing and analysing languages, e.g. abstract state machines, object constraint language, MOF, grammars. This is embedded in the use of a meta-modelling environment.

Teaching and learning methods

Lectures (2 hours per week) and project.

Examinations

Oral examination. Pass/Fail.

Student evaluation

The course will be evaluated in accordance with the quality system for education, chapter 4.1.
Last updated from FS (Felles studentsystem) Oct. 15, 2026 2:03:03 PM