Login / Signup

Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract).

Bertrand Meyer
Published in: ISOTAS (1996)
Keyphrases
  • object oriented software
  • data flow
  • design patterns
  • databases
  • software architecture
  • reinforcement learning
  • object oriented
  • higher level
  • knowledge level