Modeling product lines with Kripke structures and modal logic

DOI10.1007/978-3-319-25150-9_12MaRDI QIDQ2787423zbMATH OpenOpenAlexFDO

Authors Zinovy Diskin, Aliakbar Safilian, Tim Maibaum, Shoham Ben-David

Publication date 25 February 2016

Published in Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25150-9_12

Mathematics Subject Classification ID

Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• Model mining and efficient verification of software product lines
• Product line process theory
• FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation

Cited in

(6)

• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• Probabilistic software product lines
• Products, or how to create modal logics of high complexity
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Generic semantics of feature diagrams

This page was built for publication: Modeling product lines with Kripke structures and modal logic

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