Home | deutsch  | Legals | Sitemap | KIT

Praktikum Formale Entwicklung objektorientierter Software

Praktikum Formale Entwicklung objektorientierter Software
Type: Praktikum (P)
Semester: WS 12/13
Time: 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

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

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