Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest

Mario Friske, Holger Pirk. Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest. In Armin B. Cremers, Rainer Manthey, Peter Martini, Volker Steinhage, editors, INFORMATIK 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bonn, 19. bis 22. September 2005. Volume 68 of LNI, pages 516-520, GI, 2005.

Abstract

Abstract is missing.