Sciweavers

Share
MODELS
2015
Springer
4 years 2 months ago
Performance prediction upon toolchain migration in model-based software
—Changing the development environment can have severe impacts on the system behavior such as the executiontime performance. Since it can be costly to migrate a software applicati...
Aymen Ketata, Carlos Moreno, Sebastian Fischmeiste...
MODELS
2015
Springer
4 years 2 months ago
Evaluating Student Work in Modelling Courses
In any curriculum or course that teaches or emphasises the use of modelling, a critical concern is evaluating the modelling artefacts that students produce, leading to the producti...
Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C...
MODELS
2015
Springer
4 years 2 months ago
A framework for relating syntactic and semantic model differences
—Model differencing is an important activity in model-based development processes. Differences need to be detected, analyzed, and understood to evolve systems and explore alterna...
Shahar Maoz, Jan Oliver Ringert
MODELS
2015
Springer
4 years 2 months ago
A Model-Driven Based Environment for Automatic Model Coordination
Abstract—We present the integration of the Behavioral Coordination Operator Language (B-COOL) into the GEMOC Studio. B-COOL enables the system designer to automate the coordinati...
Matias Ezequiel Vara Larsen, Julien DeAntoni, Beno...
MODELS
2015
Springer
4 years 2 months ago
Extended Traits for Model Driven Software Development
—Software reuse is an important key in developing software systems in a short time with low cost and fewer errors. Traits were introduced to provide fine-grained reusable element...
Vahdat Abdelzad
MODELS
2015
Springer
4 years 2 months ago
Automatic Generation of Transformations for Software Process Tailoring
—Tailoring software processes is an activity that allows process engineers to adapt organizational software processes to the needs of particular projects. Model-driven engineerin...
Luis Silvestre
MODELS
2015
Springer
4 years 2 months ago
UmpleRun: a Dynamic Analysis Tool for Textually Modeled State Machines using Umple
— In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the mod...
Hamoud I. Aljamaan, Timothy Lethbridge, Miguel Gar...
MODELS
2015
Springer
4 years 2 months ago
Lazy Evaluation for OCL
Abstract. The Object Constraint Language (OCL) is a central component in modeling and transformation languages such as the Unified Modeling Language (UML), the Meta Object Facilit...
Massimo Tisi, Rémi Douence, Dennis Wagelaar
MODELS
2015
Springer
4 years 2 months ago
Change-driven Incremental Symbolic Execution of Evolving State Machines
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
Amal Khalil
MODELS
2015
Springer
4 years 2 months ago
UML Modeling for Visually-Impaired Persons
—Software modeling is generally a collaborative activity and typically involves graphical diagrams. The Unified Modeling Language (UML) is the de facto standard for modeling obj...
Brad Doherty, Betty H. C. Cheng
books