Sciweavers

IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
14 years 4 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes