An Introduction to Real-Time Object-Z |
| |
| Authors: | Graeme Smith Ian Hayes |
| |
| Affiliation: | (1) Software Verification Research Centre, University of Queensland, Brisbane, Australia, AU;(2) School of Computer Science and Electrical Engineering, University of Queensland, Brisbane, Australia, AU |
| |
| Abstract: | ![]()
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. Received September 2000 / Accepted in revised form June 2001 |
| |
| Keywords: | : Object-Z Real-time refinement Real-time specification Timed refinement calculus |
| 本文献已被 SpringerLink 等数据库收录！ |
|
