Opetusohjelma
2012–2013
Arkistoitu opetusohjelma 2012–2013
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
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
Tietojenkäsittelytieteiden tutkinto-ohjelma
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.
Teachers
Timo Nummenmaa, Teacher responsible
Timo.Nummenmaa[ät]uta.fi
Teaching
Lectures
Thu 4-Apr-2013 - 16-May-2013 weekly at 12-14, Pinni B1084
Mon 8-Apr-2013 - 13-May-2013 weekly at 12-14, Pinni B1084
Exercises
Tue 16-Apr-2013 - 14-May-2013 weekly at 12-14, Pinni B1084