Welcome to the thirty-eighth issue of De Programmatica Ipsum, dedicated to the subject of Design by Contract. In this edition:
- Adrian explains the origins of Design by Contract and its relation to assertions and exceptions.
- Graham discusses how to work with mutable state in your code through Design by Contract.
- In the Library section, Adrian reviews “Facts and Fallacies of Software Engineering” by Robert L. Glass.