Compositional type checking of delta-oriented software product lines

DOI10.1007/S00236-012-0173-ZMaRDI QIDQ2376980zbMATH OpenOpenAlexFDO

Authors Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer

Publication date 26 June 2013

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2158/1039522

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A core calculus for dynamic delta-oriented programming
• A theory of software product line refinement
• Delta modeling and model checking of product families
• Incremental model checking of delta-oriented software product lines
• Verification of software product lines with delta-oriented slicing

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 2089380 (Why is no real title available?)
• An Overview of CaesarJ
• Polymorphic bytecode
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning

Cited in

(6)

• Incremental model checking of delta-oriented software product lines
• Compositional Feature-Oriented Systems
• Verification of software product lines with delta-oriented slicing
• Delta modeling and model checking of product families
• Variability encoding: from compile-time to load-time variability
• A core calculus for dynamic delta-oriented programming

Describes a project that uses

Uses Software

• AspectJ
• Scala
• Featherweight Java
• CaesarJ
• gbeta

This page was built for publication: Compositional type checking of delta-oriented software product lines

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