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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 46; číslo 3; s. 321 - 345
Hlavní autoři:	Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.03.2020 IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!