Logik und Formale Methoden

Praktikum Formale Entwicklung objektorientierter Software

  • Typ: Praktikum (P)
  • Semester: WS 11/12
  • Zeit:

    26.10.2011 13:00-14:00 Raum 211

  • Dozent:

    Prof. Dr. Peter H. Schmitt
    und Mitarbeiter

    Prof. Dr. Bernhard Beckert
    und Mitarbeiter

  • LVNr.: 24308
  • Hinweis: Lernziele

    Die Fähigkeit Werkzeuge zur Spezifikation und Verifikation von objektorientierter Software pratkisch einzusetzen.

    Inhalt

    Praktischer Umgang mit Spezifikationsprachen und Verifikationswerkzeugen für objektorientierte Software, wie beispielsweise

    • Spezifikationssprachen: OCL, JML und JavaDL
    • Verifkationswerkzeuge: Event-B, rac, ESC/Java2 und KeY

Link zur Homepage:

Dieses Praktikum wird in Zusammenarbeit mit dem Lehrstuhl Anwendungsorientierte Formale Verifikation von Prof. Beckert angeboten.

Die Homepage für diese Veranstaltung finden Sie unter der URL http://formal.iti.kit.edu/lehre_256.php

Vortragssprache:

Deutsch

Beschreibung:

Praktischer Umgang mit Spezifikationsprachen und Verifikationswerkzeugen für objektorientierte Software, wie beispielsweise

  • Spezifikationssprachen: OCL, JML und JavaDL
  • Verifkationswerkzeuge: Event-B, rac, ESC/Java2 und KeY

Kommentar:

Lernziele

Die Fähigkeit Werkzeuge zur Spezifikation und Verifikation von objektorientierter Software pratkisch einzusetzen.

Inhalt

Praktischer Umgang mit Spezifikationsprachen und Verifikationswerkzeugen für objektorientierte Software, wie beispielsweise

  • Spezifikationssprachen: OCL, JML und JavaDL
  • Verifkationswerkzeuge: Event-B, rac, ESC/Java2 und KeY