Statecharts: A Visual Formalism For Complex Systems (1987)

by David Harel
Citations:2539 - 54 self

Documents Related by Co-Citation

12771 Computers and Intractability; A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
3928 Communicating Sequential Processes – C. A. R. Hoare - 2004
1058 Object-Oriented Software Engineering - A Use Case Driven Approach – I Jacobson, M Christerson, P Jonsson - 1992
853 Design and Validation of Computer Protocols – G Holzmann - 1991
1586 D.: Software Architecture: Perspectives on an Emerging Discpline – M Shaw, Garlan - 1996
761 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
409 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
466 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, Mark Trakhtenbrot - 1990
630 The STATEMATE Semantics of Statecharts – David Harel, Amnon Naamad - 1996