Modular Modelling of Software Product Lines with Feature Nets

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

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Modular Modelling of Software Product Lines with Feature Nets