Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Compositional Specification of Embedded Systems with Statecharts
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Program Development and Specification Refinement in the Schema Calculus
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
µ-Chart-Based Specification and Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modelling safety properties of interactive medical systems
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for.