Keywords
Computer scienceFormalism (music)Programming languageTheoretical computer scienceHuman–computer interaction
Affiliated Institutions
Related Publications
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models
It is becoming increasingly important that communication protocols be formally specified and verified. This paper describes a particular approach–the state transition model–usin...
A really temporal logic
A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers ov...
Structure and chance
Software errors abound in the world of computing. Sophisticated computer programs rank high on the list of the most complex systems ever created by humankind. The complexity of ...
A formalism for object-based information systems development
Most current approaches to Information Systems Development (ISD) tend to derive from past experience and practice, rules of thumb and technology trends. The lack of theoretical ...
Software Design Techniques for Automatic Checkout
As electronic devices became increasingly more complex, it was no longer feasible to test such mechanisms with traditional methods. With practically no transition period, the ne...
Publication Info
- Year
- 1987
- Type
- article
- Volume
- 8
- Issue
- 3
- Pages
- 231-274
- Citations
- 6673
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
6673
OpenAlex
Cite This
David Harel
(1987).
Statecharts: a visual formalism for complex systems.
Science of Computer Programming
, 8
(3)
, 231-274.
https://doi.org/10.1016/0167-6423(87)90035-9
Identifiers
- DOI
- 10.1016/0167-6423(87)90035-9