26 search results - page 1 / 6 » Structuring Real-Time Object-Z Specifications |
IFM
2000
Springer
13 years 8 months ago
2000
Springer
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 ...
IFM
2000
Springer
13 years 8 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
ISORC
1998
IEEE
13 years 9 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
RTCSA
1999
IEEE
13 years 9 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
APSEC
1998
IEEE
13 years 9 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...