Refactoring real-time specifications

Smith, Greame and McComb, Tim (2008). Refactoring real-time specifications. In: J. Derrick, E. Boiten and G. Schellhorn, Proceedings of the 13th BAC-FACS Refinement Workshop (Refine 2008). International Refinement Workshop (Refine 2008), Turku, Finland, (359-380). 27 May, 2008. doi:10.1016/j.entcs.2008.06.016

Author Smith, Greame
McComb, Tim
Title of paper Refactoring real-time specifications
Conference name International Refinement Workshop (Refine 2008)
Conference location Turku, Finland
Conference dates 27 May, 2008
Proceedings title Proceedings of the 13th BAC-FACS Refinement Workshop (Refine 2008)   Check publisher's open access policy
Journal name Electronic Notes in Theoretical Computer Science   Check publisher's open access policy
Place of Publication Amsterdam, The Netherlands
Publisher Elsevier
Publication Year 2008
Sub-type Fully published paper
DOI 10.1016/j.entcs.2008.06.016
Open Access Status
ISSN 1571-0661
Editor J. Derrick
E. Boiten
G. Schellhorn
Volume 214
Issue C
Start page 359
End page 380
Total pages 22
Language eng
Abstract/Summary 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. © 2008 Elsevier B.V. All rights reserved.
Subjects 080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Keyword Formal development
Real-time embedded systems
Real-Time Object-Z
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

Version Filter Type
Citation counts: Scopus Citation Count Cited 1 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 27 Mar 2009, 20:52:45 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering