Object-oriented modeling and design
Object-oriented modeling and design
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Formal Object-Oriented Development
Formal Object-Oriented Development
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Distributed System Specification in VDM++
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Describing, Structuring and Implementing Objects
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Mapping Procedural Patterns to Object-Oriented Design Patterns
Automated Software Engineering
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Type-theoretic design patterns
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Electronic Notes in Theoretical Computer Science (ENTCS)
An approach to precisely specifying the problem domain of design patterns
Journal of Visual Languages and Computing
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
Software Quality Control
Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
Refactoring Towards a Layered Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Reuse of specification patterns with the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Precise specification of design pattern structure and behaviour
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Propagation of incremental changes to performance model due to SOA design pattern application
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |
This paper views design patterns [5] as a transformation from a "before" system consisting of a set of classes (often a single unstructured class) into an "after" system consisting of a collection of classes organised by the pattern. To prove that these transformations are formal refinements, we adopt a version of the Object Calculus [4] as a semantic framework. We make explicit the conditions under which these transformations are formally correct. We give some additional design pattern transformations which have been termed "annealing" in the VDM++ world, which include the introduction of concurrent execution into an initially sequential system. We show that these design patterns can be classified on the basis of a small set of fundamental transformations which are reflected in the techniques used in the proof of their correctness.