Design By Contract
16 Outubro 2019, 16: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
- Hoare Logic versus Design by Contract
- Design by Contract in Dafny