Teaching Schedule
2017–2018
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
Periods
Language of instruction
English
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
-
TIETS14
Introduction to Formal Specification
Participation in course work
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
Homepage URL
Teaching
7-Sep-2017
–
20-Oct-2017
Lectures 20 hours
lectures
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
exam
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