Considerate reasoning and the Composite design pattern

DOI10.1007/978-3-642-11319-2_24MaRDI QIDQ3656894zbMATH OpenOpenAlexFDO

Authors Alexander J. Summers, Sophia Drossopoulou

Publication date 14 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11319-2_24

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Abstract patterns of compositional reasoning.
• Specification and verification of invariants by exploiting layers in OO designs
• Invariants for non-hierarchical object structures
• Design Verification Patterns
• scientific article; zbMATH DE number 2013574

Cited in

(2)

• Verified software units
• Holistic Specifications for Robust Programs

Describes a project that uses

Uses Software

• Boogie
• VeriFast

This page was built for publication: Considerate reasoning and the Composite design pattern

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