Teaching Schedule
2018–2019
Archived teaching schedules 2018–2019
You are browsing archived teaching schedule. Current teaching schedules can be found here.
TIETS14
Introduction to Formal Specification
5
ECTS
Periods
Language of instruction
English
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
Degree Programme in Computer Sciences
Faculty of Natural 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
Teachers
Timo Nummenmaa, Teacher responsible
timo.nummenmaa[ät]tuni.fi
Teaching
23-Oct-2018
–
21-Dec-2018
Lectures 20 hours
Tue 23-Oct-2018 at 10-12, Main building C8
Thu 25-Oct-2018 - 20-Dec-2018 weekly at 10-12, Pinni B0016
Tue 30-Oct-2018 - 18-Dec-2018 weekly at 10-12, Pinni B1083
Exercises 10 hours
Thu 25-Oct-2018 - 20-Dec-2018 weekly at 12-14, Pinni B0016
Independent work