x !
Arkistoitu opetussuunnitelma 2017–2019
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TIETS14 Introduction to Formal Specification 5 op
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
Informaatiotieteiden yksikkö
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

Luonnontieteiden tiedekunta
Luonnontieteiden tiedekunta
2018–2019
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Luonnontieteiden tiedekunta