Modular modelling of software product lines with feature nets
DOI10.1007/978-3-642-24690-6_22zbMATH Open1350.68063OpenAlexW2107531455MaRDI QIDQ3095246FDOQ3095246
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
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
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)
Cites Work
- Free Choice Petri Nets
- Title not available (Why is that?)
- Software Product Line Engineering
- Modular modelling of software product lines with feature nets
- Modal I/O Automata for Interface and Product Line Theories
- Compositional semantics for open Petri nets based on deterministic processes
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (15)
- Title not available (Why is that?)
- Featured Team Automata
- Extensible structural analysis of Petri net product lines
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Methods for Efficient Unfolding of Colored Petri Nets
- Cost-related interface for software product lines
- Foreword to the special issue on formal methods for software product line engineering
- Input-output conformance testing for software product lines
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization
- Model mining and efficient verification of software product lines
- Improvements in unfolding of colored Petri nets
- Modular modelling of software product lines with feature nets
- Title not available (Why is that?)
- Lifted structural invariant analysis of Petri net product lines
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)
