Paper Info
Title
Refactoring Object-Z Specifications.
Abstract
Object-Z offers an object-oriented means for structuring formal specifications. We investigate the application of refactoring rules to add and remove structure from such specifications to forge object-oriented designs. This allows us to tractably move from an abstract functional description of a system toward a lower-level design suitable for implementation on an object-oriented platform.
Year
DOI
Venue
2004
10.1007/978-3-540-24721-0_5
Lecture Notes in Computer Science
Keywords
Field
DocType
object oriented design,formal specification,object oriented
Programming language,Software engineering,Computer science,Formal specification,Functional description,Proof obligation,Structuring,Code refactoring,Object-Z
Conference
Volume
ISSN
Citations 
2984
0302-9743
19
PageRank 
References 
Authors
1.09
18
1
Name
Order
Citations
PageRank
Tim McComb1191.09