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.

2022S, VU, 2.0h, 3.0EC, to be held in blocked form
Lecture TubeTUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • LectureTube course
  • 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.
  • 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.
  • 2 oral exams: After each exercise sheet, the students discuss the topics in small groups with staff personnel.
  • Final test: At the end of the course, a written test of 90 minutes checks how well the students have achieved the learning outcomes of the course. The test takes place in rooms at the university. During the exam, the students may use print-outs of selected documents.

Due to COVID the modalities of the course may change on short notice. If necessary, the final test will take place online. Online exams are closed-book, there are no additional resources allowed. Hardware requirements for online exams: quiet, bright working place; webcam showing the complete working space; scanner (like an app on the mobile phone, which in this case cannot serve as webcam); computer with stable internet connectivity and audio (e.g. headset); screen or printer for viewing/printing the assignments. For the details, see TUWEL.

Mode of examination

Immanent

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
2.0 h oral exams (Abgabegespräche)
24.0 h preparation for final test
2.0 h final test
-----------------------------------------------
75.0 h = 3 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue14:00 - 16:0026.04.2022 - 14.06.2022GM 1 Audi. Max.- ARCH-INF Vorlesung
Mon14:00 - 16:0009.05.2022FAV Hörsaal 1 - INF Tutorium UE1
09:00 - 14:0023.05.2022 - 31.05.2022InfLab Pong Abgabegespräche UE1
14:00 - 18:0024.05.2022 - 31.05.2022InfLab Pong Abgabegespräche UE1
Mon14:00 - 16:0030.05.2022FAV Hörsaal 1 - INF Tutorium UE2
Mon16:00 - 18:0030.05.2022InfLab Pong Abgabegespräche UE1
09:00 - 18:0013.06.2022 - 20.06.2022InfLab Pong Abgabegespräche UE2
Thu09:00 - 11:0023.06.2022InfLab Pong Abgabegespräche UE2
Thu12:00 - 18:0023.06.2022InfLab Pong Abgabegespräche UE2
Formal Modelling - Single appointments
DayDateTimeLocationDescription
Tue26.04.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Tue03.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mon09.05.202214:00 - 16:00FAV Hörsaal 1 - INF Tutorium UE1
Tue10.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Tue17.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mon23.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Tue24.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Tue24.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Tue24.05.202214:00 - 18:00InfLab Pong Abgabegespräche UE1
Mon30.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Mon30.05.202214:00 - 16:00FAV Hörsaal 1 - INF Tutorium UE2
Mon30.05.202216:00 - 18:00InfLab Pong Abgabegespräche UE1
Tue31.05.202209:00 - 14:00InfLab Pong Abgabegespräche UE1
Tue31.05.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Tue31.05.202214:00 - 18:00InfLab Pong Abgabegespräche UE1
Mon13.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Tue14.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Tue14.06.202214:00 - 16:00GM 1 Audi. Max.- ARCH-INF Vorlesung
Mon20.06.202209:00 - 18:00InfLab Pong Abgabegespräche UE2
Thu23.06.202209:00 - 11:00InfLab Pong Abgabegespräche UE2
Course is held blocked

Examination modalities

The final grade is determined on the basis of  the submitted exercises (10 points in total), two oral exams ("Abgabegespräch", 5 points each), the online tests (10 points in total) and the written final test (50 points), giving a grand total of 80 points.  To pass the course you need at least 25 points at the final 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)

We offer four dates to take the final exam, presumably in June, beginning of October, end of November, and mid of January  (for the precise dates see the section Exams). You may take the test at most twice, with the better result counted for the final mark.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue17:00 - 19:0017.01.2023GM 1 Audi. Max.- ARCH-INF written09.01.2023 00:00 - 15.01.2023 23:59TISS4. Termin 2022S
Tue14:00 - 16:0020.06.2023GM 1 Audi. Max.- ARCH-INF writtenno application-Prüfung WS2023
Tue14:00 - 16:0020.06.2023Informatikhörsaal - ARCH-INF writtenno application-Prüfung WS2023

Course registration

Begin End Deregistration end
11.04.2022 08:00 11.05.2022 23:59 11.05.2022 23:59

Curricula

Study CodeSemesterPrecon.Info
033 526 Business Informatics 2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 532 Media Informatics and Visual Computing 2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 533 Medical Informatics 2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 534 Software & Information Engineering 2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 535 Computer Engineering 2. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
884 Subject: Informatics und Informatics Management 4. Semestertrue
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")

Literature

No lecture notes are available.

Language

German