Home | english  | Impressum | Sitemap | KIT

Praktikum Formale Entwicklung objektorientierter Software

Praktikum Formale Entwicklung objektorientierter Software
Typ: Praktikum (P)
Semester: WS 12/13
Zeit: 17.10.2012
17:30-19:00
50.34 Raum 301


24.10.2012
17:30-19:00
50.34 Raum 301

31.10.2012
17:30-19:00
50.34 Raum 301

07.11.2012
17:30-19:00
50.34 Raum 301

14.11.2012
17:30-19:00
50.34 Raum 301

21.11.2012
17:30-19:00
50.34 Raum 301

28.11.2012
17:30-19:00
50.34 Raum 301

05.12.2012
17:30-19:00
50.34 Raum 301

12.12.2012
17:30-19:00
50.34 Raum 301

19.12.2012
17:30-19:00
50.34 Raum 301

02.01.2013
17:30-19:00
50.34 Raum 301

09.01.2013
17:30-19:00
50.34 Raum 301

16.01.2013
17:30-19:00
50.34 Raum 301

23.01.2013
17:30-19:00
50.34 Raum 301

30.01.2013
17:30-19:00
50.34 Raum 301

06.02.2013
17:30-19:00
50.34 Raum 301

Dozent: Prof.Dr. Peter Hans Schmitt
Prof.Dr. Bernhard Beckert
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

Vortragssprache:

Deutsch

Beschreibung:

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

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

Kommentar:

Webseite des Praktikums vor einem Jahr