A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems

This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optional features of such a system give rise to combinatorially many individual system variants. We use a formal modeling langu...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 46; no. 3; pp. 321 - 345
Main Authors:	Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.03.2020 IEEE Computer Society
Subjects:	Analytical models Computational modeling Computer models Configurations Domain specific languages DSL formal methods Markov chains Model checking Probabilistic analysis Probabilistic logic probabilistic modeling Programming languages Quantitative analysis quantitative constraints Runtime Semantics Software development Software product lines Statistical analysis statistical model checking Statistical models Utilities
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!