SPADES - A Specification and Design System and Its Graphical Interface.

Jochen Ludewig, Martin Glinz, Hansjrg Huser, G. Matheis, Hans Matheis, M. F. Schmidt

Browse the full ICSE paper archive.