Refactoring Real-time Specifications | Zendy

Graeme Smith | Zendy; Tim McComb | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Refactoring Real-time Specifications

Author(s) -

Graeme Smith,

Tim McComb

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.06.016

Subject(s) - code refactoring , computer science , programming language , semantics (computer science) , object (grammar) , sequence (biology) , object oriented programming , software , artificial intelligence , biology , genetics

This paper presents an approach to refactoring real-time specifications written using Real-Time Object-Z. This allows implementation components such as clocks and sensors, not necessarily present in an initial abstract specification, to be introduced via a sequence of refinement steps. The approach, based on similar work for Object-Z, is enabled by a semantics of object instantiation and operation synchronisation introduced in this paper. Means of refining synchronising operations to reflect the timing and causality constraints of an implementation are also presented

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research