x !
Arkistoitu opetusohjelma 2015–2016
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.

Enrolment for University Studies

See instructions on course homepage.


Timo Nummenmaa, Teacher responsible

Homepage URL


19-Oct-2015 – 20-Dec-2015
Tue 20-Oct-2015 - 1-Dec-2015 weekly at 14-16, Pinni A3111, No teaching during 11-21 Nov
Thu 22-Oct-2015 - 26-Nov-2015 weekly at 12-14, Pinni B1084, No teaching during 11-21 Nov
Thu 29-Oct-2015 - 10-Dec-2015 weekly at 14-16, PInni B1084, No teaching during 11-21 Nov