A logical framework for design composition
Proceedings of the 22nd international conference on Software engineering
A Theory of Object-Oriented Design
Information Systems Frontiers
Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
Pattern hybridization: breeding new designs out of pattern interactions
ACM SIGSOFT Software Engineering Notes
Visualizing Design Patterns in Their Applications and Compositions
IEEE Transactions on Software Engineering
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Automated verification of security pattern compositions
Information and Software Technology
Design pattern evolutions in QVT
Software Quality Control
A methodology to assess the impact of design patterns on software quality
Information and Software Technology
Hi-index | 0.00 |
This paper describes an approach to component-based software engineering based on a formal description of design patterns. The architectural design information, captured by design patterns, is made explicit and represented in a declarative way, being packaged into tangible artifacts as building block design components in the development process. These design component descriptions can be instantiated, adapted, assembled, implemented, and maintained. Furthermore, we can use these representations to reason about properties related to the combination of design components. We illustrate the utility of our approach through a case study involving various design patterns.