Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8250
| Autor(en): | Ludewig, Jochen Glinz, Martin Huser, Hansjörg Matheis, G. Matheis, Hans Schmidt, M.F. |
| Titel: | Spades - a specification and design system and its graphical interface |
| Erscheinungsdatum: | 1985 |
| Dokumentart: | Konferenzbeitrag |
| Erschienen in: | Proceedings / 8. International Conference on Software Engineering : Aug. 28-30, 1985, London. Los Alamitos, Calif., 1985. - ISBN 0-8186-0620-7, S. 83-89 |
| URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93680 http://elib.uni-stuttgart.de/handle/11682/8267 http://dx.doi.org/10.18419/opus-8250 |
| Zusammenfassung: | 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. |
| Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| lud30.pdf | 1,63 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.