SPADES—a specification and design system and its graphical interface

Authors:
J. Ludewig;M. Glinz;H. Huser;G. Matheis;H. Matheis;M. F. Schmidt
Affiliations:
Brown Boveri Research Center, CH - 5405 Baden (Switzerland);Brown Boveri Research Center, CH - 5405 Baden (Switzerland);Brown Boveri Research Center, CH - 5405 Baden (Switzerland);Brown Boveri Research Center, CH - 5405 Baden (Switzerland);-;Brown Boveri Research Center, CH - 5405 Baden (Switzerland)
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 2
Cited 0

The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
On the inevitable intertwining of specification and implementation

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.