x !
Archived teaching schedules 2017–2018
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
Faculty of Natural 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

Enrolment time has expired


Timo Nummenmaa, Teacher responsible

Homepage URL


7-Sep-2017 – 20-Oct-2017
Lectures 20 hours
Thu 7-Sep-2017 - 12-Oct-2017 weekly at 10-12, Pinni B0016
Tue 12-Sep-2017 - 10-Oct-2017 weekly at 10-12, Pinni, B0016
Thu 26-Oct-2017 at 14-18, Pinni B1096
Exercises 10 hours
Thu 14-Sep-2017 - 12-Oct-2017 weekly at 12-14, Pinni, B0016
Independent work
Course work