Delta modeling and model checking of product families

DOI10.1007/978-3-642-40213-5_4MaRDI QIDQ2948237zbMATH OpenOpenAlexFDO

Authors Hamideh Sabouri, Ramtin Khosravi

Publication date 30 September 2015

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40213-5_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Incremental model checking of delta-oriented software product lines
• Abstract delta modelling
• Compositional type checking of delta-oriented software product lines
• Verification of software product lines with delta-oriented slicing
• Incremental model-based testing of delta-oriented software product lines

Cited in

(7)

• Trustworthy variant derivation with translation validation for safety critical product lines
• Incremental model checking of delta-oriented software product lines
• Modeling and efficient verification of wireless ad hoc networks
• Model mining and efficient verification of software product lines
• Verification of software product lines with delta-oriented slicing
• Incremental model-based testing of delta-oriented software product lines
• Compositional type checking of delta-oriented software product lines

This page was built for publication: Delta modeling and model checking of product families

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