Software Praktikum: Eclipse test-case generator

Eclipse test-case generator for formal Z specification. The objective is to integrate the „fastest“ framework (M. Cristia) into the Eclipse environment. In an extended form, the topic is also available as a Master thesis. (P1301)

Kontakt und Betreuung: Andreas Bollin, ISYS


Tags »

Datum: Freitag, 17. Mai 2013 16:20
Trackback: Trackback-URL Themengebiet: Institut, ISYS, PR_ISYS, PR_Software Engineering, Praktikum, Studierendenprojekt, Studium

Feed zum Beitrag: RSS 2.0 Diesen Artikel kommentieren

Kommentar abgeben