Issue 038: Design By Contract

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.

Continue reading Assertions or go back to Issue 038: Design By Contract. Did you like this article? Consider subscribing to our newsletter or contributing to the sustainability of this magazine. Thanks!