Statecharts: a visual formalism for complex systems

1987, The languages of STATEMATE1

Bar-Tur, 1986

Berry, 1985, The ESTEREL synchronous programming language and its mathematical semantics, 197

1981, Functional specification and description language (SDL), Recommendations Z.101-Z.104, Vol. VI

Clarke, 1986, Automatic verification of finite state concurrent systems using temporal logic specifications, ACM Trans. Prog. Lang. Syst., 8, 244, 10.1145/5397.5399

Drusinsky, 1985

Edwards, 1983, The synthesis of digital systems using ASM design techniques, 55

Ferrentino, 1977, State machines and their semantics in software engineering, Proc. IEEE COMPSAC '77 Conference, 242

Feyock, 1977, Transition diagram-based CAI/HELP systems, Internat. J. Man-Machine Studies, 9, 399, 10.1016/S0020-7373(77)80010-2

Green, 1982, Pictures of programs and other processes, or how to do things with lines, Behavior Inform. Tech., 1, 3, 10.1080/01449298208914433

Hamilton, 1976, Higher order software—A methodology for defining software, IEEE Trans. Software Engrg., 2, 9, 10.1109/TSE.1976.233798

Harel, 1984

D. Harel, A visual formalism and its applications, in preparation.

Harel, 1985, On the development of reactive systems, 477

Harel, 1987, On the formal semantics of statecharts, Proc. 2nd IEEE Symposium on Logic in Computer Science

Hoare, 1978, Communicating sequential processes, Comm. ACM, 21, 666, 10.1145/359576.359585

Hopcroft, 1979

Jackson, 1983

Jacob, 1983, Using formal specifications in the design of a human-computer interface, Comm. ACM, 26, 259, 10.1145/2163.358093

Kahana, 1986

Martin, 1985

Milner, 1980, A Calculus of Communicating Systems, 10.1007/3-540-10235-3

Parnas, 1969, On the use of transition diagrams in the design of a user interface for an interactive computer system, Proc. ACM Conference, 379

Pnueli, 1977, The temporal logic of programs, Proc. 18th IEEE Symposium on Foundations of Computer Science, 46

Reisig, 1985

Ross, 1977, Structured analysis (SA): A language for communicating ideas, IEEE Trans. Software Engrg., 3, 16, 10.1109/TSE.1977.229900

Schwartz, 1981, Temporal logic specification of distributed systems, Proc. 2nd IEEE International Conference on Distributed Computer Systems, 446

Sunshine, 1982, Specification and verification of communication protocols in AFFIRM using state transition models, IEEE Trans. Software Engrg., 8, 460, 10.1109/TSE.1982.235736

Tanenbaum, 1981

Ward, 1986, The transformation schema: An extension of the data flow diagram to represent control and timing, IEEE Trans. Software Engrg., 12, 198, 10.1109/TSE.1986.6312936

Wasserman, 1985, Extending state transition diagrams for the specification of human-computer interaction, IEEE Trans. Software Engrg., 11, 699, 10.1109/TSE.1985.232519

Woods, 1970, Transition network grammers for natural language analysis, Comm. ACM, 13, 591, 10.1145/355598.362773

Zave, 1985, A distributed alternative to finite-state-machine specifications, ACM Trans. Prog. Lang. Syst., 7, 10, 10.1145/2363.2365