A visual language for modeling and executing traceability queries
Current software and systems engineering tools provide only basic trace features, and as a result users are often compelled...
Thirteen years of SysML: a systematic mapping study
The OMG standard Systems Modeling Language (SysML) has been on the market for about thirteen years. This standard is...
A reconfiguration pattern for distributed embedded systems
A reconfiguration pattern for UML-based projects of embedded (real-time) systems is defined. It enables to set up hardware/software configurations,...
Variability in UML language and semantics
None
Read the full paper here: http://www.sosym.org/
UML customization versus domain-specific languages
None
Read the full paper here: http://www.sosym.org/
Towards clone detection in UML domain models
Code clones (i.e., duplicate fragments of code) have been studied for long, and there is strong evidence that they...
Model-based simulation of legal policies: framework, tool support, and validation
Simulation of legal policies is an important decision-support tool in domains such as taxation. The primary goal of legal...
Performance analysis of aspect-oriented UML models
Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security,...
Consistent specification of interface suites in UML
The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface...
Language-specific model checking of UML-RT models
Model-driven development (MDD) deals with complexities of modern software development by using models. Their verification is one of the...





