A theoretical framework for cardinality-based feature models: the semantics and computational aspects
DOI10.1016/J.JLAMP.2018.02.002zbMATH Open1395.68095OpenAlexW2793721708MaRDI QIDQ1647962FDOQ1647962
Authors: Aliakbar Safilian, Zinovy Diskin, Tim Maibaum 
Publication date: 27 June 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.02.002
Recommendations
- Generic semantics of feature diagrams
- Modeling product lines with Kripke structures and modal logic
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
- On logical and extensional characterizations of attributed feature models
- Approach of feature dependency modeling for software product line
Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Introduction to algorithms.
- Checking NFA equivalence with bisimulations up to congruence
- On Context-Free Languages
- The complexity of theorem-proving procedures
- One-unambiguous regular languages
- Commutative grammars
- On the complexity of integer programming
- On the equivalence and containment problems for context-free languages
- On the equivalence, containment, and covering problems for the regular and context-free languages
- An introduction to formal languages and automata.
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
- On the complexity of intersecting regular, context-free, and tree languages
- The inclusion problem for regular expressions
- Advanced Ramsey-based Büchi automata inclusion testing
- Hardness results for intersection non-emptiness
Cited In (6)
- On logical and extensional characterizations of attributed feature models
- On the benefits of knowledge compilation for feature-model analyses
- Generic semantics of feature diagrams
- Modeling product lines with Kripke structures and modal logic
- Approach of feature dependency modeling for software product line
- The expressive power of cardinality-bounded set values in object-based data models
Uses Software
This page was built for publication: A theoretical framework for cardinality-based feature models: the semantics and computational aspects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647962)
