Design By Contract

10 Outubro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

• 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