Statecharts: A Visual Formalism For Complex Systems (1987)

by David Harel
Citations:2334 - 52 self

Documents Related by Co-Citation

11073 Computers and Intractability: A Guide to the Theory of NP-Completeness – M R Garey, D S Johnson - 1979
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
924 Object-Oriented Software Engineering: A Use Case Driven Approach – I Jacobson, M Christerson, P Jonsson, G Overgaard - 1992
775 Design and Validation of Computer Protocols – G J Holzmann - 1991
1338 Software Architecture: Perspectives on an Emerging Discipline – D Garlan, M Shaw - 1996
670 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
404 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
545 The STATEMATE Semantics of Statecharts – David Harel, Amnon Naamad - 1996
1194 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986