Modellierung, Spezifikation und Semantik

Dozent: Prof. Dr.-Ing. Heiko Mantel
Assistent: Tobias Hamann (Sprechstunde siehe Website des Assistenten)
Übungsbetreuung: Tobias Hamann, Thomas Höhl
Vorlesung: Freitags, 9:50-11:30, S1|01 A1
Klausureinsicht: Im Moodlekurs der Veranstaltung finden Sie Informationen zur Registrierung und Durchfuehrung der Klausureinsicht. Bitte lesen Sie die dort gepostete Ankuendigung zeitnah, insbesondere bezueglich Deadlines zur Registrierung.
Klausur: Klausurtermin: 18.9.2020, 9:00 - 10:30
Raumverteilung:

Raumzuteilung der Klausur:
Nachnamen A... - Kara...: Darmstadtium Spectrum
Nachnamen Kart... – Scho...: L402/1 (Hörsaal- und Medienzentrum Lichtwiese)
Nachnahmen Schr... – Z...: S101/A1 (Audimax)

Informieren Sie sich vorab ueber die festgeschriebenen Ein- und Ausgangswegfuehrung zu dem Ihnen zugewiesenen Raum.

Beachten Sie neben der Raumzuteilung die aktuellen Hinweise zur Klausurdurchführung unter Corona-Bedingungen der TU Darmstadt.

Beachten Sie insbesondere den folgenden Auszug aus diesen Richtlinien:

* Kommen Sie rechtzeitig zum Klausurbeginn.

* In Situationen, in denen Maßnahmen der physischen Distanzierung nur schwer eingehalten werden können, wird das Tragen einer Mund-Nasen-Bedeckung dringend empfohlen. Denken Sie daran, dass auch bei der An- und Abreise mit dem ÖPNV eine Mund-Nasen-Bedeckung vorgeschrieben ist.

* Sollten Sie sich krank fühlen, treten Sie bitte von der Prüfung zurück und gefährden Sie weder sich noch Ihre Mitstudierenden und das aufsichtsführende Personal. Sie können bis zum Beginn der Prüfung formlos zurücktreten, eine E-Mail an Ihr Studienbüro mit Angabe der Prüfungs- und Ihrer Matrikelnummer ist ausreichend. Auf die Vorlage eines Attestes wird bis 31. Oktober 2020 ausnahmsweise verzichtet.

* Beachten Sie bitte die Einhaltung des Mindestabstandes beim Eintreten und Verlassen der Gebäude und der Prüfungsräume.

* Treten Sie einzeln und zügig in die Prüfungsräume ein und setzen Sie sich lückenlos an die markierten Plätze. Füllen Sie die Reihen so auf, dass zunächst die Plätze, die am weitesten von der Eingangstür entfernt liegen, belegt werden. Die Prüfungsräume sind so geplant, dass ein Mindestabstand von 1,50 eingehalten wird.

* Alle Gebäude haben eine festgelegte Wegeführung und nur einen gekennzeichneten Ein- und einen Ausgang. Die Wegführung ist unbedingt einzuhalten und im Gebäude gekennzeichnet. Für die großen Gebäude mit mehreren Eingängen werden nur festgelegte Türen geöffnet sein. Diese sind markiert.

* Bitte beachten Sie die Sonderregelung für Klausuren im Darmstadtium: bis zu Ihrem Sitzplatz müssen Sie eine Mund-Nasen-Bedeckung tragen. Auch beim Gang zur Toilette ist die Mund-Nasen-Bedeckung Pflicht. (siehe auch Wegeführung im Darmstadtium und Hygienekonzept des Darmstadtiums)

* Die Identitätsfeststellung und Anwesenheitsüberprüfung wird von den Aufsichtspersonen an Ihren Prüfungsplätzen vorgenommen. Legen Sie zur Feststellung Ihrer Identität Ihren Studierendenausweis und Ihren Personalausweis an den freien Platz rechts neben sich. Sollte sich rechts neben Ihnen kein Platz befinden, dann bitte links. Das Aufsichtspersonal wird die freien Reihen zwischen Ihnen nutzen, um die Kontrolle durchzuführen. Bitte entfernen Sie bei der Identitätsfeststellung kurz Ihre Mund-Nasen-Bedeckung.

* Die Prüfungsaufgaben finden Sie auf den Prüfungsplätzen, bitte halten Sie sich an die Anweisungen des aufsichtsführenden Personen zum Ablauf (Beginn, Ende).
Aufgrund der besonderen Situation ist die Beantwortung individueller Nachfragen zur Aufgabenstellung durch einzelne Prüflinge während der Klausur leider nicht möglich.

* Nach Beendigung Ihrer Prüfung, verfahren Sie bitte so, wie die Aufsichtspersonen es Ihnen mitteilen.

* Die Zugänge zu den Prüfungsräumen sind so gekennzeichnet, dass eine Begegnung beim Ein- und Auslass weitgehend vermieden werden kann. Auch die Toiletten sind entsprechend gekennzeichnet. Bitte unterstützen Sie die Maßnahmen mit Ihrem Verhalten und achten Sie selbst auf Mindestabstand.

* Nach Verlassen der Prüfungsräume begeben Sie sich bitte wieder zügig und einzeln zu den Gebäudeausgängen und vermeiden Sie Ansammlungen.
Informationen während der Corona Pandemie:
MoSeS wird statt finden. Der Vorlesungs- und Übungsbetrieb für MoSeS im Sommersemester 2020 wird bis auf weiteres online statt finden.
Wir aktualisieren diese Seite, sobald neue Informationen zur Verfügung stehen. Aktuelle Informationen finden Sie auch im Moodle Kurs der Veranstaltung.

 

News

Inhalt

Die Vorlesungsmaterialien werden im Moodlekurs zur Veranstaltung bereitgestellt.

Themen

Folgende Themen werden in der Vorlesung behandelt, in Klammern steht die verwendete Literatur:

  • Einführung in die Modellierung [Kastens/Kleine Buening]
  • Repititorium über Aussagen- und Prädikatenlogik [FGDI 2 Skript von M. Otto]
  • Formale Modellierung und formale Modelle [Kastens/Kleine Buening]
  • Formale Spezifikation [Kastens/Kleine Buening]
  • Syntax und Semantik von Programmiersprachen [Winskel]
  • Syntax und Semantik von Prozessalgebren [Hoare]

Klausurregeln

  • keine Unterlagen, elektronischen Hilfsmittel, ...
  • 1 beidseitig handbeschriebene DIN A4 Seite ist erlaubt
    • keine Ausdrucke! keine Kopien!
    • muss deutlich lesbar mit Ihrem Namen und Ihrer Matrikelnummer am oberen
      Rand       auf beiden Seiten markiert sein
  • mitzubringen sind
    • Personalausweis oder Reisepass mit Lichtbild
    • Studierendenausweis im Original
    • Kugelschreiber/Füller in schwarz/blau
    • Uhr (kein Handy oder Smartwatch)
  • Papier wird gestellt (sowohl für Antworten als auch für Notizen)

In der Vorlesung verwendete Literatur

Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen. Das Forum zu MoSeS befindet sich hier.

Last modified on 4 December 2020.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang