Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information

Inhalt

Formale Methoden sind Sprachen zur Modellierung/Spezifikation von Systemen. Ein Modell eines (Soft- oder Hardware) Systems beschreibt auf einer gewissen Abstraktionsebene die Funktionalität des Systems. Im Gegensatz zu (den meisten) Programmiersprachen besitzen formale Methoden eine genau festgelegte Semantik, d.h. eine mathematische Beschreibung der Bedeutung einer Spezifikation. Diese Festlegung der Semantik erlaubt es, das Systemmodell bereits vor der eigentlichen Implementierung formal zu analysieren und mögliche Fehler frühzeitig zu finden.

In der Vorlesung sollen verschiedene formale Methoden eingeführt werden, die für unterschiedliche Systemarten geeignet sind. Für jede dieser formalen Methoden werden Semantik und Analysetechniken vorgestellt und Modellierungsbeispiele zur Illustration des Einsatzbereiches besprochen.

Am Anfang der Vorlesung wird es vorrangig um die Modellierung von Parallelität und Kommunikation gehen. Hier werden Petrinetze und die Prozessalgebra CCS vorgestellt. Danach werden wir uns mit Sprachen zur Beschreibung von zeitlichen Aspekten (Timed Automata) und gegebenenfalls auch mit zustandsbasierten Formalismen zur Spezifikationen von Daten und Operationen (Z und Object-Z) beschäftigen.

Allgemeine Informationen

  • Hörerkreis: Studierende der Informatik im Bachelorstudiengang, 2. Studienabschnitt
  • Modul: II.1.1 Softwaretechnik und Informationssysteme (siehe Modulhandbuch)
  • ECTS-Punkte: 4

Termine

  • Vorlesung: Donnerstag, 11 Uhr bis 13 Uhr
  • Übungsgruppe 01: Dienstag, 11 Uhr bis 12 Uhr
  • Übungsgruppe 02: Dienstag, 12 Uhr bis 13 Uhr

News zur Vorlesung

KEINE Vorlesung

| Keine Vorlesung am 21.04.2016!

Erste Vorlesung

| Die erste Vorlesung findet am Donnerstag, den 14.04.16 statt.

Start der Übungsgruppen

| In der ersten Vorlesungswoche finden keine Übungsgruppen statt.

Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Julia Krämer

Specification and Modelling of Software Systems

Julia  Krämer
Phone:
+49 5251 60-5388
Office:
O4 131

The University for the Information Society