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.

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

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • LectureTube course

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 contents of the course together with illustrative examples is presented by means of talks. We provide a recording of the beamer and audio signal of the lectures.
  • 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 to students to discuss problems related to the contents or the organization of the course.
  • Q&A sessions with tutors: At the dates announced, tutors (experienced students) answer questions related to the contents of the course and to the exercises.
  • 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.
  • 2 oral exams: After each exercise sheet, the students discuss the topics in groups of four with staff personnel. This one-hour meetings serves the purpose of resolving open issues and to check how much the students have learned.
  • 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.

Mode of examination

Immanent

Additional information

Ects Breakdown

18.0 h attendance of lecture (9 days x 2h)
21.0 h 2 exercise sheets (2 x 10.5h)
8.0 h preparation for first oral exam (Abgabegespräch)
1.0 h first oral exam (Abgabegespräch)
8.0 h preparation for second oral exam (Abgabegespräch)
1.0 h second oral exam (Abgabegespräch)
16.0 h preparation for final test
2.0 h final test
-----------------------------------------------
75.0 h = 3 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri14:00 - 16:0015.05.2020 streamingTutorium <vor> UE1
Fri14:00 - 16:0005.06.2020 streamingTutorium <vor> UE2
Course is held blocked

Examination modalities

The final grade is determined on the basis of  the submitted exercises (in total 10 points), two oral exams (10 points each),  and the written final test (50 points), giving a total of 10+2*10+50=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: in June, September, January and February (for the precise dates see the section Exams). You may take the test at most twice, with the better result superseding the worse one.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Wed15:00 - 17:0023.09.2020GM 2 Radinger Hörsaal - TCH written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20
Wed15:00 - 17:0023.09.2020Informatikhörsaal written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20
Wed15:00 - 17:0023.09.2020GM 1 Audi. Max.- ARCH-INF written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20
Wed15:00 - 17:0023.09.2020FH Hörsaal 1 - MWB written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20
Wed15:00 - 17:0023.09.2020HS 17 Friedrich Hartmann - ARCH written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20
Wed15:00 - 17:0023.09.2020HS 18 Czuber - UIW written09.09.2020 08:00 - 20.09.2020 23:55TISS2. Termin SS20

Course registration

Begin End Deregistration end
24.02.2020 08:00 18.05.2020 23:55 18.05.2020 23:55

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