Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Structure-oriented merging of revisions of software documents
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Communications of the ACM - Special issue on analysis and modeling in software development
Issues in the design and specification of class libraries
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Typing the specialization interface
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Reuse contracts: managing the evolution of reusable assets
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Change cases: use cases that identify future requirements
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Maintaining the consistency of class libraries during their evolution
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Software Change Impact Analysis
Software Change Impact Analysis
Making the Reuse Business Work
Computer
Proceedings of the Workshop on Object-Oriented Technology
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A Formal Approach to Use Cases and Their Relationships
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Reflections on the Object Constraint Language
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Supporting Disciplined Reuse and Evolution of UML Models
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
Introducing Context-Based Constraints
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
External Requirements Validation for Component-Based Systems
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolving Partitions in Conceptual Schemas in the UML
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
A Formal Foundation for Object-Oriented Software Evolution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Relating evolving business rules to software design
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Adaptable system/Software architectures
Mae---a system model and environment for managing architectural evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Achieving seamless component composition through scenario-based deep adaptation and generation
Science of Computer Programming - Special issue on new software composition concepts
Automated traceability analysis for UML model refinements
Information and Software Technology
Towards feature-driven planning of product-line evolution
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Incremental security verification for evolving UMLsec models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Challenges in model-based evolution and merging of access control policies
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
A formal framework for reasoning on metadata based on CWM
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Specifying model changes with UMLchange to support security verification of potential evolution
Computer Standards & Interfaces
Hi-index | 0.00 |
Disciplined support for evolution of software artifacts isimportant in all phases of the software life-cycle. In order toachieve this support, a uniform underlying foundation for softwareevolution is necessary. While, in the past, reuse contracts have beenproposed as such a formalism in a number of different domains, thispaper generalises the formalism, and integrates it into the UMLmetamodel. As such, support for evolution becomes readily availablefor many kinds of UML models, ranging from requirements to theimplementation phase.