Opetusohjelma
2014–2015
Arkistoitu opetusohjelma 2014–2015
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.
Enrolment for University Studies
No preregistration needed. Just go to the first lecture.
Teachers
Jyrki Nummenmaa, Teacher responsible
Jyrki.Nummenmaa[ät]uta.fi
Timo Nummenmaa, Teacher responsible
Homepage URL
Teaching
28-Oct-2014
–
5-Dec-2014
Lectures
Tue 28-Oct-2014 - 2-Dec-2014 weekly at 14-16, Pinni B0016
Fri 31-Oct-2014 - 5-Dec-2014 weekly at 10-12, Pinni B0016
Exercises
Fri 31-Oct-2014 - 5-Dec-2014 weekly at 14-16, Pinni B0016