Delta modeling and model checking of product families
DOI10.1007/978-3-642-40213-5_4zbMATH Open1434.68114OpenAlexW370515343MaRDI QIDQ2948237FDOQ2948237
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
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
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)
