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.

2012W, 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, by two written tests and an oral exam.

Additional information

Attention, number of participants limited!

The resources allotted to this course are limited. To ensure an adequate student-staff ratio only 375 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 October. 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 375 students, you will not be graded. You will not be able to participate in the course this term, but you will receive preferential treatment next term.
  • If you obtain the minimally required number of points and are ranked among the best 375 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
Tue14:30 - 16:0002.10.2012 - 29.01.2013Prechtl-Saal kleiner Teil Lecture
Tue14:30 - 16:0002.10.2012 - 29.01.2013Kuppelsaal Lecture
Tue18:00 - 20:0006.11.2012EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Wed19:00 - 21:0007.11.2012EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Thu16:30 - 18:0008.11.2012Prechtl-Saal kleiner Teil Lecture
Thu16:30 - 18:0008.11.2012Kuppelsaal Lecture
Thu18:30 - 21:0008.11.2012EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Fri12:00 - 14:0009.11.2012EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Mon17:00 - 19:0007.01.2013EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Tue19:00 - 21:0008.01.2013EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Wed17:00 - 19:0009.01.2013EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Thu18:00 - 20:0010.01.2013EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Fri14:00 - 17:0011.01.2013EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Wed16:00 - 19:3023.01.2013EI 10 Fritz Paschke HS - UIW Tutorium Formale Modellierung
Formal Modelling - Single appointments
DayDateTimeLocationDescription
Tue02.10.201214:30 - 16:00Kuppelsaal Lecture
Tue02.10.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue09.10.201214:30 - 16:00Kuppelsaal Lecture
Tue09.10.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue16.10.201214:30 - 16:00Kuppelsaal Lecture
Tue16.10.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue23.10.201214:30 - 16:00Kuppelsaal Lecture
Tue23.10.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue30.10.201214:30 - 16:00Kuppelsaal Lecture
Tue30.10.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue06.11.201214:30 - 16:00Kuppelsaal Lecture
Tue06.11.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
Tue06.11.201218:00 - 20:00EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Wed07.11.201219:00 - 21:00EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Thu08.11.201216:30 - 18:00Prechtl-Saal kleiner Teil Lecture
Thu08.11.201216:30 - 18:00Kuppelsaal Lecture
Thu08.11.201218:30 - 21:00EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Fri09.11.201212:00 - 14:00EI 7 Hörsaal - ETIT Tutorium Formale Modellierung
Tue13.11.201214:30 - 16:00Kuppelsaal Lecture
Tue13.11.201214:30 - 16:00Prechtl-Saal kleiner Teil Lecture
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 375 participants, you will not be graded but put on a queue for next term (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: mid of January, mid of February, March/April, April/May (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
Tue18:00 - 20:0021.06.2022FH Hörsaal 5 - TPH written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022EI 7 Hörsaal - ETIT written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022GM 1 Audi. Max.- ARCH-INF written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022HS 17 Friedrich Hartmann - ARCH written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022HS 17 Friedrich Hartmann - ARCH written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022GM 5 Praktikum HS- TCH written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022GM 2 Radinger Hörsaal - TCH written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022FH Hörsaal 1 - MWB written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)
Tue18:00 - 20:0021.06.2022Informatikhörsaal - ARCH-INF written07.06.2022 08:00 - 19.06.2022 23:59TISS1. Termin 2022S (Paralleltermin)

Course registration

Begin End Deregistration end
24.09.2012 00:00 07.10.2012 23:59 07.10.2012 23:59

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.10.2012 at the latest).
  • Register for this course via TISS between September 24 and October 7, 2012 (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 the end of October/beginning of November. You have to reach the minimally required number of points and have to be ranked among the best 375 students.

 

Group Registration

GroupRegistration FromTo
Aktiv12.11.2012 07:0012.11.2012 08:00
Inaktiv12.11.2012 07:0012.11.2012 08:00

Curricula

Study CodeSemesterPrecon.Info
033 522 Computer Science Management STEG
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 1. 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 1. 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 1. 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 1. 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 1. 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 4. 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.

Language

German