Compositional type checking of delta-oriented software product lines

DOI10.1007/S00236-012-0173-ZzbMATH Open1448.68212OpenAlexW2009910430MaRDI QIDQ2376980FDOQ2376980

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

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

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)

Cites Work

• Title not available (Why is that?)
• An Overview of CaesarJ
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
• Title not available (Why is that?)
• Polymorphic bytecode

Cited In (6)

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

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)