x !
Arkistoitu opetusohjelma 2016–2017
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
TIETS14 Introduction to Formal Specification 5 ECTS
Period I Period II Period III Period IV
Language of instruction
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
Tietojenkäsittelytieteiden tutkinto-ohjelma
School of Information Sciences

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.

General description

Preceding studies B.Sc. Degree in computer sciences or equivalent studies.

Enrolment for University Studies

Enrolment time has expired


Timo Nummenmaa, Teacher responsible

Homepage URL


25-Oct-2016 – 20-Dec-2016
Tue 25-Oct-2016 - 22-Nov-2016 weekly at 14-17, Main Building lr C8
Thu 27-Oct-2016 at 14-17, Main Building lr C8
Thu 3-Nov-2016 - 10-Nov-2016 weekly at 14-17, Pinni B3116
Thu 17-Nov-2016 at 14-17, PInni B0016
Thu 3-Nov-2016 - 8-Dec-2016 weekly at 12-14, Pinni B0016