185.A06 Formal Modelling This course is in all assigned curricula part of the STEOP.
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to explain the most important methods of formal specification and to use them for modeling situations informally described in natural language. They know the expressivity and limitations of the methods and are able to select methods suitable for the problem at hand. Moreover, students are able to read and understand mathematical notations, in particular the formal definition of the methods as used in literature.

Subject of course

Textual specification languagse:

  • Propositional logic
  • Predicate logic
  • Regular expressions
  • Context-free grammars

Graphical specification languages:  

  • Finite-state machines (automata)
  • Petri nets

For each of these modeling languages we discuss the following aspects:  

  • Syntax: What are the admissible utterances of the language?
  • Semantics: What is the meaning of admissible utterances?
  • Expressive power: Which situations can be expressed adequately, which cannot?
  • Applications: How is the language used to model concrete situations

Teaching methods

  • Plenary lectures: The meetings in the lecture room will be used to discuss questions by the students, to present selected topics, and to solve exercises together. The students are expected to prepare for the lectures by viewing designated videos and reading documents provided by the lecture team.
  • TUWEL: The e-learning platform of TU Wien is used for the dissemination of lecture material and for organizational issues. Furthermore it provides a news forum and a discussion forum  that allows the students to discuss problems related to the contents or the organization of the course.
  • Instructional videos: The contents of the course is presented in a series of videos.
  • 2 exercise sheets: Twice per term the students have to submit the solutions of 15 exercises. After the deadline they receive sample solutions as well as individual feedback on their submissions. The score depends only on the number of exercises tried, not on the quality of solutions.
  • Online tests: Each test can be repeated arbitrarily often within the period of a week.
  • Tests: There are two tests, which can be repeated at an extra date.

Mode of examination


Additional information

Ects Breakdown

14.0 h preparation at home with videos and documents
14.0 h presentations/exercises in the lecture hall
15.0 h exercise sheets
4.0 h online tests
24.0 h preparation for tests
4.0 h tests
75.0 h = 3 Ects



Course dates

Thu09:00 - 11:0007.03.2024 - 20.06.2024HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu09:00 - 11:0016.05.2024EI 9 Hlawka HS - ETIT Vorlesung und Übung
Thu09:00 - 11:0006.06.2024EI 9 Hlawka HS - ETIT Vorlesung und Übung
Formal Modelling - Single appointments
Thu07.03.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu14.03.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu11.04.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu02.05.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu16.05.202409:00 - 11:00EI 9 Hlawka HS - ETIT Vorlesung und Übung
Thu06.06.202409:00 - 11:00EI 9 Hlawka HS - ETIT Vorlesung und Übung
Thu13.06.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Thu20.06.202409:00 - 11:00HS 7 Schütte-Lihotzky - ARCH Vorlesung und Übung
Course is held blocked

Examination modalities

The final grade is determined on the basis of  the submitted exercises (5 points each, 10 points in total), the online tests (10 points in total) and the two written tests (30 points each), giving a grand total of 80 points.  To pass the course you need at least 15 points on each written test and at least 40 points in total. Positive grades are determined from the sum of points according to the following scale:

  • 40-49 points: passed (4)
  • 50-59 points: satisfactory (3)
  • 60-69 points: good (2)
  • 70-80 points: excellent (1)


DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Fri12:00 - 14:0021.06.2024EI 7 Hörsaal - ETIT written31.05.2024 09:00 - 19.06.2024 23:59TISSTest 2
Fri10:00 - 12:0005.07.2024EI 7 Hörsaal - ETIT written14.06.2024 08:00 - 03.07.2024 23:59TISSTest WH
Fri11:00 - 13:0009.05.2025EI 7 Hörsaal - ETIT written18.04.2025 08:00 - 07.05.2025 23:59TISSTest 1
Fri12:00 - 14:0027.06.2025EI 7 Hörsaal - ETIT written06.06.2025 09:00 - 25.06.2025 23:59TISSTest 2
Mon12:00 - 14:0007.07.2025EI 7 Hörsaal - ETIT written20.06.2025 08:00 - 06.07.2025 23:59TISSTest WH

Course registration

Begin End Deregistration end
12.02.2024 08:00 05.03.2024 09:00 05.03.2024 09:00

Registration modalities

The course is held in German. See the German pages for details on registering for the course.



The student has to be enrolled for at least one of the studies listed below


Study CodeObligationSemesterPrecon.Info
033 535 Computer Engineering Mandatory2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")


No lecture notes are available.