Sciweavers

MODELS
2015
Springer
8 years 6 months ago
Active World Model for Testing Autonomous Systems Using CEFSM
—This paper describes a model-based test generation approach for testing autonomous systems interacting with their environment (i.e., world). Unlike other approaches that assume ...
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
MODELS
2015
Springer
8 years 6 months ago
Merging Features in Featured Transition Systems
—Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, ...
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel...
MODELS
2015
Springer
8 years 6 months ago
Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety
Abstract. Today’s industrial product lines in the automotive and construction equipment domain face the challenge to show functional safety standard compliance and argue for the ...
Stephan Baumgart, Joakim Fröberg, Sasikumar P...
MODELS
2015
Springer
8 years 6 months ago
An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns
Abstract. Multi-level meta-modeling hinges on the precise conceptualization of the instantiation relation between elements of the meta-model and the model. In this paper, we propos...
Zoltan Theisz, Gergely Mezei
MODELS
2015
Springer
8 years 6 months ago
Proposal for Improving the UML Abstract Syntax
Dan Chiorean, Vladiela Petrascu, Ioana Chiorean
MODELS
2015
Springer
8 years 6 months ago
SoSPa: A system of Security design Patterns for systematically engineering secure systems
— Model-Driven Security (MDS) for secure systems development still has limitations to be more applicable in practice. A recent systematic review of MDS shows that current MDS app...
Phu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacqu...
MODELS
2015
Springer
8 years 6 months ago
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
Domain Specific Modeling Languages (dsmls) plays a key role in the development of Safety Critical Systems to model system requirements and implementation. They often need to integ...
Arnaud Dieumegard, Marc Pantel, Guillaume Babin, M...
MODELS
2015
Springer
8 years 6 months ago
Engineering tagging languages for DSLs
—To keep a DSL clean, readable and reusable in different contexts, it is useful to define a separate tagging language. A tag model logically adds information to the tagged DSL ...
Timo Greifenberg, Markus Look, Sebastian Roidl, Be...
MODELS
2015
Springer
8 years 6 months ago
Prototizer: Agile on Steroids
The model-driven software development (MDSD) vision has booked significant advances in the past decades. MDSD was said to be very promising in tackling the “wicked” problems o...
Aram Hovsepyan, Dimitri Van Landuyt
MODELS
2015
Springer
8 years 6 months ago
Stream my models: Reactive peer-to-peer distributed models@run.time
Thomas Hartmann 0001, Assaad Moawad, Franço...