x !
Archived Curricula Guide 2015–2017
Curricula Guide is archieved. Please refer to current Curricula Guides
TIETS14 Introduction to Formal Specification 5 ECTS
Organised by
Degree Programme in Computer Sciences
Person in charge
Professor Jyrki Nummenmaa
Preceding studies
B.Sc. Degree or equivalent studies.
Corresponding course units in the curriculum
School of Information Sciences
Curricula 2012 – 2015

Learning outcomes

After the course, the student
- is able to write simple specifications using the approaches of the course,
- can analyze the properties of the specified system using these specifications,
- can animate and simulate a formal specification, and
- understands some principles that can be used to implement the specified system.


The course gives introductory knowledge and basic skills in formal specification, using various different approaches:
1. Specification of concurrent systems using process algebras with the FSP language and LTSA tool.
2. Specification of collective, joint action behaviour of the system, using The DisCo language.

The course covers introductory level material on the following themes: specification and proving formal properties of systems, simulation and animation of the specified systems, and implementing the specified systems.

Further information on prerequisites and recommendations

Recommended year of study: First or second year of M.Sc. studies.

Teaching language


Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Open University Students
  • Doctoral Students
  • Exchange Students
Participation in course work 
In English


Numeric 1-5.

Belongs to following study modules

School of Information Sciences
Archived Teaching Schedule. Please refer to current Teaching Shedule.
School of Information Sciences