Spades - a specification and design system and its graphical interface

Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis & M.F. Schmidt
SPADES is a specification system consisting of a method, a language, and a set of tools. These components are based on a set of concepts, which forms its abstract kernel. SPADES supports the specification of software systems, in particular of real time software. The system to be developed is modelled using the Entity-Relationship-concept. While this seems to be the best way for storing specifications. In a computer, it does not automatically lead to representations equally...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.