STATEMATE; A Working Environment for the Development of Complex Reactive Systems

@inproceedings{Harel1988STATEMATEAW,
  title={STATEMATE; A Working Environment for the Development of Complex Reactive Systems},
  author={David Harel and Hagi Lachover and Amnon Naamad and Amir Pnueli and Michal Politi and Rivi Sherman and Aharon Shtull-Trauring},
  booktitle={ICSE},
  year={1988}
}
This paper provides a brief overview of the STATEMATE system, constructed over the past three years by i-Logix Inc., and Ad Cad Ltd. STATEMATE is a graphical working environment, intended for the specification, analysis, design and documentation of large and complex reactive systems, such as real-time embedded systems, control and communication systems, and interactive software. It enables a user to prepare, analyze and debug diagrammatic, yet precise, descriptions of the system under… CONTINUE READING
Highly Influential
This paper has highly influenced 73 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 730 extracted citations

Similar Papers

Loading similar papers…