Design by contract:Contracts for Data Abstractions

20 Outubro 2021, 16:30 Antónia Lopes

Classes in Dafny
Design by contract:Contracts for Data Abstractions

  • Invariants and representation invariants
  • Property-based specifications
  • Model-based specifications
Brief overview of design by contract in Java with JML