An Introduction to Real-Time Object-Z

  title={An Introduction to Real-Time Object-Z},
  author={Graeme Smith and Ian J. Hayes},
  journal={Formal Aspects of Computing},
This paper presents Real-Time Object-Z: an integration of the object-oriented, state-based specification language Object-Z with the timed trace notation of the timed refinement calculus. This integration provides a method of formally specifying and refining systems involving continuous variables and real-time constraints. The basis of the integration is a mapping of the existing Object-Z history semantics to timed traces. 
7 Citations
30 References
Similar Papers

Similar Papers

Loading similar papers…