Modular Modelling of Software Product Lines with Feature Nets
From MaRDI portal
Publication:3095246
DOI10.1007/978-3-642-24690-6_22zbMath1350.68063MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
From EU Projects to a Family of Model Checkers, Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints, Methods for Efficient Unfolding of Colored Petri Nets, Input-output conformance testing for software product lines, Extensible structural analysis of Petri net product lines, Statistical model checking for variability-intensive systems: applications to bug detection and minimization, Lifted structural invariant analysis of Petri net product lines, Improvements in unfolding of colored Petri nets, Modular Modelling of Software Product Lines with Feature Nets
Cites Work