STATEMATE: a working environment for the development of complex reactive systems

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/icse.1988.93720

Abstract

No abstract available

This publication has 7 references indexed in Scilit:

On visual formalisms
Communications of the ACM, 1988
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering, 1986
Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
Lecture Notes in Computer Science, 1986
On the Development of Reactive Systems
Published by Springer Nature ,1985
Structure and complexity of relational queries
Journal of Computer and System Sciences, 1982
Optimal implementation of conjunctive queries in relational data bases
Published by Association for Computing Machinery (ACM) ,1977