Modelchecking Correctness of Refactorings - Some Experiments
Electronic Notes in Theoretical Computer Science (ENTCS)
Alloy as a Refactoring Checker?
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Refactoring object-oriented specifications with data and processes
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Synchronizable objects in distributed multimedia applications
Transactions on edutainment IV
Showing full semantics preservation in model transformation: a comparison of techniques
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Compositional class refinement in object-z
FM'06 Proceedings of the 14th international conference on Formal Methods
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |
We present a process for introducing an object-orientedarchitecture into an abstract functional specification writtenin Object-Z. Since the design is derived from the specification,correctness concerns are addressed as part of thedesign process. We base our approach on refactoring rulesthat apply to class structure, and use the rules to implementdesign patterns. As a motivating example, we introducea user-interface design that follows the Model-View-Controllerparadigm into an existing specification.