A field study of the software design process for large systems
Communications of the ACM
Design rationale: concepts, techniques, and use
Design rationale: concepts, techniques, and use
Software architecture critics in Argo
IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Journal of the ACM (JACM)
Communications of the ACM
From software requirements to architectures
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Object-Oriented Software Construction
Object-Oriented Software Construction
Automating Support for Software Evolution in UML
Automated Software Engineering
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Designing Distributed Component-Based Systems With DCL
ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A classification of stereotypes for object-oriented modeling languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Defining the context of OCL expressions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
External Requirements Validation for Component-Based Systems
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Component-Based Software Development - A Practitioner'S View
Journal of Integrated Design & Process Science - Component-Based System Development
| Hi-index | 0.01 |
Software evolution is a major challenge to software development. When adapting a system model to new, altered or deleted requirements, existing requirements should not unintentionally be violated. One requirement can affect several possibly unassociated elements of a system. A new constraint technique is introduced in this paper: One context-based constraint (CoCon) specifies a requirement for those system (model) elements that belong to the related context. The constrained elements are indirectly selected via their meta-information. Thus, verifying compliance with requirements can be supported automatically when a system's model is modified, during (re-)configuration and at runtime.