|
|
engelcXvk9∂ira uka de |
|
/engel.php
Titel | Ansprechpartner |
---|---|
DIANA | |
KeY |
Titel | Forschungsthema | Betreuer | Bearbeiter |
---|---|---|---|
A Translation From JML to JavaDL | |||
Verification Based Test Case Generation |
Titel | Typ | Ort | Zeit |
---|---|---|---|
Formale Entwicklung objektorientierter Software (WS 09/10) | Praktikum | Raum 305 | Mo, 14.00 - 15.30 |
Formale Programmentwicklung (SS 09) | Seminar | Blockveranstaltung am Semesterende |
|
Formale Entwicklung objektorientierter Software (WS 08/09) | Praktikum | SR 301 | Mi, 17:30 - 19:00 |
Formale Software-Entwicklung (SS 08) | Seminar | Blockveranstaltung am Semesterende |
|
Formale Entwicklung objektorientierter Software (WS 07/08) | Praktikum | SR 301 | Mi, 17:30 - 19:00 |
Formale Software-Entwicklung (SS 07) | Seminar | Blockveranstaltung am Semesterende |
|
Formale Entwicklung objektorientierter Software (WS 06/07) | Praktikum | SR 301 | Mi, 17:30 - 19:00 |