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. STATEMATE; A Working Environment for the Development of Complex Reactive Systems. In ICSE. pages 396-406, 1988.

@inproceedings{HarelLNPPSS88,
  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},
  year = {1988},
  tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HarelLNPPSS88},
  cites = {0},
  citedby = {0},
  pages = {396-406},
  booktitle = {ICSE},
}