Considerate Reasoning and the Composite Design Pattern

Abstract

We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations which follow the pattern of breaking properties of other objects and then notifying them appropriately. It allows the specification to be concerned only with the properties directly… (More)
DOI: 10.1007/978-3-642-11319-2_24

1 Figure or Table

Topics

  • Presentations referencing similar topics