Sciweavers

MODELS
2009
Springer
13 years 9 months ago
SLIM - A Lightweight Environment for Synchronous Collaborative Modeling
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
Christian Thum, Michael Schwind, Martin Schader
MODELS
2009
Springer
13 years 9 months ago
Aspect Model Unweaving
Jacques Klein, Jörg Kienzle, Brice Morin, Jea...
MODELS
2009
Springer
13 years 9 months ago
Report of the 14th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 14th Workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven Engineering Languages and Sy...
Jörg Kienzle, Jeff Gray, Dominik Stein, Thoma...
MODELS
2009
Springer
13 years 9 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
MODELS
2009
Springer
13 years 9 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
MODELS
2009
Springer
13 years 9 months ago
Representation and Traversal of Large Clabject Models
Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree
MODELS
2009
Springer
13 years 9 months ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
MODELS
2009
Springer
13 years 9 months ago
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
Petra Brosch, Philip Langer, Martina Seidl, Konrad...
MODELS
2009
Springer
13 years 9 months ago
CSP(M): Constraint Satisfaction Problem over Models
Ákos Horváth, Dániel Varr&oac...
MODELS
2009
Springer
13 years 9 months ago
Change-Driven Model Transformations
István Ráth, Gergely Varró, D...