Teaching Schedule
2013–2014
Archived teaching schedules 2013–2014
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
School of Information 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
No preregistration needed. Just go to the first lecture.
Teachers
Jyrki Nummenmaa, Teacher responsible
Jyrki.Nummenmaa[ät]uta.fi
Homepage URL
Teaching
10-Mar-2014
–
16-May-2014
Lectures
Check times and dates before course starts
Mon 17-Mar-2014 - 28-Apr-2014 weekly at 14-16, Pinni B1084
Tue 18-Mar-2014 - 29-Apr-2014 weekly at 12-14, Pinni B1084
Exercises
Thu 20-Mar-2014 - 8-May-2014 weekly at 12-14, Pinni B1084