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 objectoriented 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. © Springer-Verlag 2004.
CITATION STYLE
McComb, T. (2004). Refactoring object-Z specifications. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2984, 69–83. https://doi.org/10.1007/978-3-540-24721-0_5
Mendeley helps you to discover research relevant for your work.