Opetusohjelma
2018–2019
Arkistoitu opetusohjelma 2018–2019
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
Tietojenkäsittelytieteiden tutkinto-ohjelma
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