x !
Archived Curricula Guide 2017–2019
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 2015 – 2017

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.

Contents

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

English

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

Evaluation

Numeric 1-5.

Belongs to following study modules

Faculty of Natural Sciences
Faculty of Natural Sciences
2018–2019
Teaching
Faculty of Natural Sciences