Modular Modelling of Software Product Lines with Feature Nets
From MaRDI portal
Publication:3095246
DOI10.1007/978-3-642-24690-6_22zbMath1350.68063OpenAlexW2107531455MaRDI QIDQ3095246
Radu Muschevici, José Proença, Dave Clarke
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/316073
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Input-output conformance testing for software product lines ⋮ Methods for Efficient Unfolding of Colored Petri Nets ⋮ Improvements in unfolding of colored Petri nets ⋮ Extensible structural analysis of Petri net product lines ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ Modular Modelling of Software Product Lines with Feature Nets ⋮ Statistical model checking for variability-intensive systems: applications to bug detection and minimization ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ From EU Projects to a Family of Model Checkers
Cites Work
This page was built for publication: Modular Modelling of Software Product Lines with Feature Nets