76
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—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, ...
89
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
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 ...
98
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
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...
76
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
— 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...