Login / Signup

Design by Contract: Making Object-Oriented Programs that Work.

Bertrand Meyer
Published in: TOOLS (25) (1997)
Keyphrases
  • specification languages
  • object oriented programs
  • data sets
  • databases
  • machine learning
  • case study
  • building blocks
  • formal specification