HAREL, D. (1987). Statecharts:a visual formalism for complex systems. Science of Computer Programming 8, 231--274. HAREL, D., and GERY, E. (1997). Executable object modeling with statecharts. Volume 30, Computer 31--42. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
OMICS A Journal of Integrative Biology - Volume Number Mary Self-citation (Harel) (Correct)
No context found.
HAREL, D. (1987). Statecharts:a visual formalism for complex systems. Science of Computer Programming 8, 231--274. HAREL, D., and GERY, E. (1997). Executable object modeling with statecharts. Volume 30, Computer 31--42.
Journal of Machine Learning Research 7 (2006) 2259-2301.. - Anders Jonsson Anders (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231--274, 1987.
Reflective Physical Prototyping - Through Integrated Design (2006) (Correct)
No context found.
Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3). pp. 231-74,
Dynamic Deployment of Executing - And Simulating Software (Correct)
No context found.
Harel D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 1987.
Lightweight Object Specification with Typestates - Bierhoff, Aldrich (2005) (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Programming, 8:231--274, 1987.
Capturing Informal Requirements as Formal Models - Rubens Fernandes Rubens (2004) (Correct)
No context found.
D. Harel, "Statecharts: A visual formalism for complex systems," Science of Computer Programming, no. 8, pp. 231--274, 1987.
Domain System Statecharts: - The Good The (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8(3):231--274, 1987.
On Abstraction in Finite State Machine Models - Michael Breen September (2003) (Correct)
No context found.
D. Harel, "Statecharts: a visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231--274, July 1987.
A Validation Method Adapted to Dynamic Service Composition - Floch, Bræk (2002) (Correct)
No context found.
Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming, vol. 8, no. 3, pp. 231-274, Elsevier.
Towards PaP Services: Design and Validation Issues - Floch, Bræk (2002) (Correct)
No context found.
Harel, D. 1987. Statecharts: A visual formalism for complex systems. Science of Computer Programming,vol.8,no.3, pp. 231-274, Elsevier.
A Better Way to Design - Communication Protocols Friedger (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, 1987.
Experience of Using a Lightweight Formal Specification Method for.. - Breen (2005) (Correct)
No context found.
D. Harel, "Statecharts: a visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231--274, July 1987.
State Nets: An Expressively Efficient Behavioral Model - Christophe Giraud-Carrier.. (Correct)
No context found.
D. Harel, Statecharts: a visual formalism for complex systems, Science of computer Programming, Vol. 8, 1987, 231-274.
Automated Performance and Dependability Evaluation.. - Baier, Haverkort.. (2002) (1 citation) (Correct)
No context found.
D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8: 231--274, 1987.
Tools for Automated Conformance Testing - Of Java Card (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, 1987.
Statecharts: Some Critical Observations - Michael Breen Michael (Correct)
No context found.
D. Harel, "Statecharts: a visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231--274, July 1987.
Logic and Refinement for Charts - Greg Reeve Steve (Correct)
No context found.
Harel, D. (1987), `Statecharts: A visual formalism for complex systems', Science of Computing pp. 231--274.
Symbolic Hierarchical Interface-based Supervisory Control - Symbolic Synthesis And (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, Jun. 1987.
Tools for Automated Conformance Testing - Of Java Card (Correct)
No context found.
D. Harel. Statecharts: A visual formalism for complex systems. Scienceof Computer Programming, 8(3):231--274, 1987.
Graphical Entry of FSMDs Revisited: - Putting Graphical Models (Correct)
No context found.
D. Harel. STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(4):403-- 414, 1987.
Hierarchical Communicating Real-Time State Machines - Fortino Furfaro Nigro (Correct)
No context found.
Harel D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8, pp. 231-274.
A Statecharts-Based Software Development Process for Mobile.. - Fortino, Russo, Zimeo (2004) (1 citation) (Correct)
No context found.
D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming 8 (1987) 231 -- 274.
Reliability and State Machines in an Advanced Network Testbed - Newbold (2004) (Correct)
No context found.
Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 3 (June 1987), 231--274.
Using UML 2.0 Collaborations for Compositional.. - Sanders.. (2005) (Correct)
No context found.
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8 (1987) 231--274
Innovative System-level Design Environment Based on FORM.. - HIGUCHI, SHIRAKAWA (1 citation) (Correct)
No context found.
D. Harel, "Statecharts: A Visual Formalism For Complex Systems," Science of Computer Programming 8 (1987) 231274.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC