Example-driven modeling: on effects of using examples on structural model comprehension, what makes them...
We present a controlled experiment for the empirical evaluation of example-driven modeling (EDM), an approach that systematically uses examples...
UML 3.0 and the future of modeling
None
Read the full paper here: http://www.sosym.org/
Translating between Alloy specifications and UML class diagrams annotated with OCL
Model-driven engineering (MDE) is a software engineering approach based on model transformations at different abstraction levels. It prescribes the...
Redesign of UML class diagrams: a formal approach
Contracts provide a precise way of specifying object-oriented systems. When a class structure is modified, the corresponding contracts must...
A model-driven approach for vulnerability evaluation of modern physical protection systems
Modern physical protection systems integrate a number of security systems (including procedures, equipments, and personnel) into a single interface...
Empirically evaluating OCL and Java for specifying constraints on UML models
The Object Constraint Language (OCL) has been applied, along with UML models, for various purposes such as supporting model-based...
On the interpretation of binary associations in the Unified Modelling Language
Binary associations between classifiers are among the most fundamental of UML concepts. However, there is considerable room for disagreement...
UML – the Good, the Bad or the Ugly? Perspectives from a panel of...
None
Read the full paper here: http://www.sosym.org/
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario....
A UML-Based Approach to System Testing
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML...
