10.18419/opus-8250
Ludewig, Jochen
Glinz, Martin
Huser, Hansjörg
Matheis, G.
Matheis, Hans
Schmidt, M.F.
Spades - a specification and design system and its graphical interface
Universität Stuttgart
1985
Softwarespezifikation , Softwareentwicklung
004
Universität Stuttgart
Universität Stuttgart
2014-07-07
2016-03-31
2014-07-07
2016-03-31
1985
en
conferenceObject
410207349
http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93680
http://elib.uni-stuttgart.de/handle/11682/8267
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 comfortable for humans. This is why SPADES, which has been available for some time, has recently been extended by a graphical interface. This paper gives a brief survey of the system, in particular of its new component.