Modular Modelling of Software Product Lines with Feature Nets

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

Mathematics Subject Classification ID

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

• Modular Modelling of Software Product Lines with Feature Nets
• Compositional semantics for open Petri nets based on deterministic processes
• Free Choice Petri Nets
• Software Product Line Engineering
• Modal I/O Automata for Interface and Product Line Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item