Safe Object-Oriented Software : The Verified Design-By-Contract Paradigm

@inproceedings{Escher2004SafeOS,
  title={Safe Object-Oriented Software : The Verified Design-By-Contract Paradigm},
  author={David Crocker Escher},
  year={2004}
}
  • David Crocker Escher
  • Published 2004
In recent years, large sectors of the software development industry have moved from the procedural style of software development to an object-oriented style. Safety-critical software developers have largely resisted this trend because of concerns about verifiability of object-oriented systems. This paper outlines the benefits offered by object technology… CONTINUE READING