Sciweavers

Share
MODELS
2015
Springer
3 years 3 months ago
Analysis of ISO 26262 Compliant Techniques for the Automotive Domain
Abstract. The ISO 26262 standard defines functional safety for automotive E/E systems. Since the publication of the first edition of this standard in 2011, many different safety...
Manoj Kannan Soundara Pandian, Yanja Dajsuren, Yap...
MODELS
2015
Springer
3 years 3 months ago
Foundations of a Multi-Paradigm Modelling Tool
—None of the current plethora of meta-modelling tools includes a complete, explicit model of themselves. Such a model, a precise specification of the tool’s syntax and semanti...
Yentl Van Tendeloo
MODELS
2015
Springer
3 years 3 months ago
A Diagrammatic Approach to Model Completion
Metamodelling plays an important role in model-driven engineering as it can be used to define domain-specific modelling languages. During the modelling phase, software designers...
Fazle Rabbi, Yngve Lamo, Ingrid Yu, Lars Kristense...
MODELS
2015
Springer
3 years 3 months ago
Introduction to ACES-MB 2015
Iulia Dragomir, Susanne Graf, Gabor Karsai, Floria...
MODELS
2015
Springer
3 years 3 months ago
Towards Safe Model Transformation for Constraint-driven Modeling
Abstract—Model transformation is a key technology in modeldriven engineering. Unfortunately, transformations are typically written manually and thus they are likely to contain er...
Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto...
MODELS
2015
Springer
3 years 3 months ago
A model-based framework for probabilistic simulation of legal policies
Abstract—Legal policy simulation is an important decisionsupport tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the la...
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzade...
MODELS
2015
Springer
3 years 3 months ago
Tool Paper: Combining Alf and UML in Modeling Tools - An Example with Papyrus -
Abstract. The Unified Modeling Language has been used largely in the software community to draw pictures for designing and documenting software written in other languages. The real...
Ed Seidewitz, Jérémie Tatibouet
MODELS
2015
Springer
3 years 3 months ago
Building MDE Cloud Services with Distil
—Model-Driven Engineering (MDE) techniques, like transformations, queries, and code generators, were devised for local, single-CPU architectures. However, the increasing complexi...
Carlos Carrascal Manzanares, Jesús Sá...
MODELS
2015
Springer
3 years 3 months ago
Leveraging Models at Run-Time to Retrieve Information for Feature Location
Model Driven Engineering (MDE) has the potential to be used at run-time, to monitor and verify particular aspects of run-time behaviour. Models at run-time provide a kind of formal...
Lorena Arcega, Jaime Font, Øystein Haugen, ...
MODELS
2015
Springer
3 years 3 months ago
Safe Navigation in OCL
The null object has been useful and troublesome ever since it was introduced. The problems have been mitigated by references in C++, annotations in Java or safe navigation in Groov...
Edward D. Willink
books