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.

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

Properties

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

Aim of course

The aim of the course is to get the students to know the most relevant methods for formal specification, and to enable them to model real-world situations in a formal manner on the basis of ambigous natural language descriptions. Moreover the students learn to read and understand the formal-mathematical characterisations of these methods such that they can extend their knowledge by specialised literature on their own.

Subject of course

Propositional logic, finite automata, regular expressions, formal grammars, Petri nets, predicate logic as specification language.

The course consists of a lecture part and an exercise part. The final grade is determined by grading the exercises, two oral exams, and a final written test.

Additional information

Attention, number of participants limited!

The resources allotted to this course are limited. To ensure an adequate student-staff ratio only 125 students will be able to attend the course. All students registered for the course (no limitation here), who obtain at least 20% of the points of the first exercise sheet, qualify for the written entry test at the end of April. Further participation in the course depends on the result of this test:

  • If you do not reach the minimally required number of points you fail the course; no further participation possible.
  • If you obtain the minimally required number of points or more but are not ranked among the best 125 students, you will not be graded. You will not be able to participate in the course this term.
  • If you obtain the minimally required number of points and are ranked among the best 125 students, you can attend the course this term. The final grade is determined according to the explanation in section Examination modalities.

Ects Breakdown

18 h attendance of lecture (12 days x 1.5h)
10 h first exercise sheet (10 exercises x 1h)
8 h preparation for entry test (1 day x 8h)
1 h entry test
10 h second exercise sheet (10 exercises x 1h)
8 h preparation for oral exam (1 day x 8h))
1 h oral exam (Abgabegespräch)
16 h preparation for final test (2 days x 8h)
2 h final test
-----------------------------------------------
74 h = ca. 3 Ects

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue15:30 - 17:0005.03.2013 - 25.06.2013Informatikhörsaal - ARCH-INF Vorlesung
Wed13:00 - 15:0017.04.2013 - 05.06.2013Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde
Mon15:00 - 18:0022.04.2013EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Tue16:00 - 18:0023.04.2013EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Wed15:00 - 18:0024.04.2013EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Fri11:00 - 13:3026.04.2013EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Fri18:00 - 21:0021.06.2013EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Formal Modelling - Single appointments
DayDateTimeLocationDescription
Tue05.03.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue12.03.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue19.03.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue09.04.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue16.04.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Wed17.04.201313:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde
Mon22.04.201315:00 - 18:00EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Tue23.04.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue23.04.201316:00 - 18:00EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Wed24.04.201315:00 - 18:00EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Fri26.04.201311:00 - 13:30EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Tue30.04.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue07.05.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue14.05.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue28.05.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue04.06.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Wed05.06.201313:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) Tutorensprechstunde
Tue11.06.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Tue18.06.201315:30 - 17:00Informatikhörsaal - ARCH-INF Vorlesung
Fri21.06.201318:00 - 21:00EI 9 Hlawka HS - ETIT Tutorium Formale Modellierung
Course is held blocked

Examination modalities

Grading

You fail the course if you do not reach the minimally required number of points at the entry test. If you do but are not ranked among the best 125 participants, you will not be graded (see also the section Additional Information).

Otherwise the final grade is determined on the basis of  the submitted exercises (two sheets worth 5 points each), one oral exam (10 points),  the written entry test (10 points) and the written final test (50 points), giving a total of 2*5+10+10+50=80 points. As a prerequisite for the final test you need at least one point per exercise sheet and at the oral exam. 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: June, mid September, January, February (for the precise dates see the section Exams). You make take the exam at most twice, with the better result superseding the worse one. A certificate is issued as soon as the final grade is positive, the final test has been taken the second time, or the fouth date has elapsed.

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Fri11:00 - 13:0003.05.2024EI 7 Hörsaal - ETIT written07.03.2024 08:00 - 01.05.2024 23:59TISSTest 1
Fri12:00 - 14:0021.06.2024EI 7 Hörsaal - ETIT written07.03.2024 09:00 - 19.06.2024 23:59TISSTest 2
Fri10:00 - 12:0005.07.2024EI 7 Hörsaal - ETIT written21.06.2024 12:00 - 03.07.2024 23:59TISSTest WH

Course registration

Begin End Deregistration end
25.02.2013 08:00 22.03.2013 23:55 22.03.2013 23:55

Registration modalities

To participate in this course you have to take the following steps.

  • Enroll in the Studienabteilung
  • Do a Studieneingangsgespräch (registration until 1.03.2013 at the latest).
  • Register for this course via TISS between Feb 25 and Mar 13, 2013 (only possible after enrolment and Studieneingangsgespräch, with a delay of 1-2 working days).
  • Submit the solutions of the first exercise sheet via TUWEL (the deadline will be announced in October). You have to achieve at least 1 out of 5 points on this assignment to continue the course.
  • Participate in the written entry test scheduled for April 29. You have to reach the minimally required number of points and have to be ranked among the best 125 students.

 

Curricula

Study CodeObligationSemesterPrecon.Info
033 522 Computer Science Management MandatorySTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 526 Business Informatics Mandatory1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 532 Media Informatics and Visual Computing Mandatory1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 533 Medical Informatics Mandatory1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 534 Software & Information Engineering Mandatory1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
033 535 Computer Engineering Mandatory1. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")
884 Subject: Informatics und Informatics Management Mandatory4. SemesterSTEG
Course requires the completion of the introductory interview STEG
true
Course belongs to the introductory and orientation phase ("Studieneingangs- und Orientierungsphase")

Literature

No lecture notes are available.

Miscellaneous

Language

German