Login / Signup
STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
David Harel
Hagi Lachover
Amnon Naamad
Amir Pnueli
Michal Politi
Rivi Sherman
Aharon Shtull-Trauring
Published in:
ICSE (1988)
Keyphrases
</>
working environment
reactive systems
software engineering
real world
case study
complex systems
high level
design process
development process
information flow