Design by Contract II

9 Novembro 2022, 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