x !
Archived teaching schedules 2015–2016
You are browsing archived teaching schedule. Current teaching schedules can be found here.
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
Degree Programme in Computer Sciences
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