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.
Enjoy this issue! Please subscribe to our free newsletter to stay updated about new releases, share the articles on social media, or contribute if you would like to support our work.
Cover photo by Romain Dancre on Unsplash.