Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
On the development of reactive systems
Logics and models of concurrent systems
The Z notation: a reference manual
The Z notation: a reference manual
ACM Transactions on Software Engineering and Methodology (TOSEM)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Formal Method for Event-Triggered Sequential Systems
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A Timed Semantics for the STATEMATE Implementation of Statecharts
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
On the one hand we consider in industry widely used Structured Analysis and Real-Time Methods (SA/RT). Their specifications are intuitively readable but often semi-formal. On the other hand we consider the formal specification language Z. Using Z for the specification of data and data processing leads already to an improvement of SA/RT methods. In this paper, we extend this integration by new features. Moreover, we give the main ideas for a formal semantics which models the dynamic behavior the system. This semantics adopts main principles of synchronous languages. This is illustrated by a simplified version of the game PacMan.