Modular modelling of software product lines with feature nets

DOI10.1007/978-3-642-24690-6_22MaRDI QIDQ3095246zbMATHOpenAlexFDO

Authors 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

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model mining and efficient verification of software product lines
• Extensible structural analysis of Petri net product lines
• Foreword to the special issue on formal methods for software product line engineering
• Cost-related interface for software product lines
• FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation

Cites work

• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 1696467 (Why is no real title available?)
• scientific article; zbMATH DE number 4033100 (Why is no real title available?)
• Compositional semantics for open Petri nets based on deterministic processes
• Free Choice Petri Nets
• Modal I/O Automata for Interface and Product Line Theories
• Modular modelling of software product lines with feature nets
• Software Product Line Engineering

Cited in

(15)

• Lifted structural invariant analysis of Petri net product lines
• scientific article; zbMATH DE number 2090101 (Why is no real title available?)
• scientific article; zbMATH DE number 2087582 (Why is no real title available?)
• Extensible structural analysis of Petri net product lines
• Featured Team Automata
• 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
• Cost-related interface for software product lines
• Foreword to the special issue on formal methods for software product line engineering
• Model mining and efficient verification of software product lines
• Statistical model checking for variability-intensive systems: applications to bug detection and minimization
• Input-output conformance testing for software product lines
• From EU projects to a family of model checkers. From Kandinsky to KandISTI
• Improvements in unfolding of colored Petri nets
• Methods for Efficient Unfolding of Colored Petri Nets

This page was built for publication: Modular modelling of software product lines with feature nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095246)