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