Software engineering projects are inherently cooperative, requiring many software
engineers to coordinate their efforts to produce a large software system. Integral to this effort …

Abstract Model-Driven Development requires model management languages and tools for
supporting model operations such as editing, consistency checking, and transformation. At …

The support for traceability between requirement specifications has been recognised as an
important task in the development life cycle of software systems. In this paper, we present a …

Software models typically contain many inconsistencies and consistency checkers help
engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better …

Comprehensive consistency management requires a strong mechanism for repair once
inconsistencies have been detected In this paper we present a repair framework for …

Research over the past decade has revealed that modeling software architecture at the level
of components and connectors is useful in a growing variety of contexts. This has led to the …

Nowadays, large-scale industrial software systems may involve hundreds of developers
working on hundreds of different but related models representing parts of the same system …

Changes are inevitable during software development and so are their unintentional side
effects. The focus of this paper is on UML design models, where unintentional side effects …

Service-based approaches are widely used to integrate heterogenous systems. Web
services allow for the definition of highly dynamic systems where components (services) can …

Research and experimentation in software architectures over the past decade have yielded
a plethora of software architecture description languages (ADLs). Continuing innovation …