Statecharts: a visual formalism for complex systems
- 1 June 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 8 (3) , 231-274
- https://doi.org/10.1016/0167-6423(87)90035-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A distributed alternative to finite-state-machine specificationsACM Transactions on Programming Languages and Systems, 1985
- Using formal specifications in the design of a human-computer interfaceCommunications of the ACM, 1983
- Pictures of programs and other processes, or how to do things with linesBehaviour & Information Technology, 1982
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Transition diagram-based CAI/HELP systemsInternational Journal of Man-Machine Studies, 1977
- Structured Analysis (SA): A Language for Communicating IdeasIEEE Transactions on Software Engineering, 1977
- Higher Order Software—A Methodology for Defining SoftwareIEEE Transactions on Software Engineering, 1976
- Transition network grammars for natural language analysisCommunications of the ACM, 1970