Modular Modelling of Software Product Lines with Feature Nets
From MaRDI portal
Publication:3095246
DOI10.1007/978-3-642-24690-6_22zbMath1350.68063MaRDI QIDQ3095246
Dave Clarke, José Proença, Radu Muschevici
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, Input-output conformance testing for software product lines, Modular Modelling of Software Product Lines with Feature Nets
Cites Work