Statecharts: A Visual Formalism For Complex Systems (1987)

by David Harel
Citations:2366 - 53 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
429 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
990 Object-oriented software engineering: A use case driven approach – I Jacobson - 1992
811 Design and Validation of Computer Protocols – G J Holzmann - 1990
1467 Software Architecture: Perspectives on an Emerging Discipline – M Shaw, D Garlan - 1996
711 Foundations for the Study of Software Architecture – Dewayne E. Perry, Alexander L. Wolf - 1992
579 The STATEMATE Semantics of Statecharts – David Harel, Amnon Naamad - 1996
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986