Design by Contract

14 Outubro 2016, 16:30 • Antónia Lopes

• Approaches to DBC (Design by Contract)
  • Preconditions and postconditions
  • Blame assignment
• DBC with Dafny
  • Procedural abstraction
  • Additional specification features
• DBC with JML
  • Procedural abstraction and JML assertions
  • Runtime verification
• Hoare Logic versus Design by Contract