• Issue #38: Design By Contract

    Issue #38: 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; and in the Library section, Adrian reviews "Facts and Fallacies of Software Engineering" by Robert L. Glass.

  • Issue #38: Design By Contract

    How To Reason About Mutable State

    The idea, prevalent among those who would prefer you to use functional programming languages, that it is impossible to reason using non-functional programming languages due to the existence of mutable state, is newer than many of the reasoning mechanisms and tools that we use to understand programs that use mutable state.

  • Issue #38: Design By Contract,  Library

    Robert L. Glass

    Robert L. Glass wrote a book in 1998 called "Software 2020", currently rated with only one star… by the author himself. In his review (written in 2017) he justifies this abysmal record because of a simple observation: none of the predictions in the book turned out to become a reality.