Home | deutsch  | Legals | Sitemap | KIT

Praktikum Formale Entwicklung objektorientierter Software

Praktikum Formale Entwicklung objektorientierter Software
Type: Praktikum (P)
Semester: WS 11/12
Time:

26.10.2011 13:00-14:00 Raum 211

Lecturer:

Prof. Dr. Peter H. Schmitt
und Mitarbeiter

Prof. Dr. Bernhard Beckert
und Mitarbeiter

LV-No.: 24308
Information: 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