|
|
engelcYoo4∂ira uka de |
|
/english/engel.php
Titel | Ansprechpartner |
---|---|
DIANA | |
KeY |
Title | Research topic | Supervisor | Author |
---|---|---|---|
Verification Based Test Case Generation | |||
A Translation From JML to JavaDL |
Title | Type | Place | Time |
---|---|---|---|
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 |