Design By Contract - History

History

The term was coined by Bertrand Meyer in connection with his design of the Eiffel programming language and first described in various articles starting in 1986 and the two successive editions (1988, 1997) of his book Object-Oriented Software Construction. Eiffel Software applied for trademark registration for Design by Contract in December 2003, and it was granted in December 2004. The current owner of this trademark is Eiffel Software.

Design by contract has its roots in work on formal verification, formal specification and Hoare logic. The original contributions include:

  • A clear metaphor to guide the design process
  • The application to inheritance, in particular a formalism for redefinition and dynamic binding
  • The application to exception handling
  • The connection with automatic software documentation

Read more about this topic:  Design By Contract

Famous quotes containing the word history:

    “My good friends, this is the second time in our history that there has come back from Germany to Downing Street peace with honour. I believe it is peace for our time. We thank you from the bottom of our hearts. And now I recommend you to go home and sleep quietly in your beds.”
    —Neville Chamberlain (1869–1940)

    “It gives me the greatest pleasure to say, as I do from the bottom of my heart, that never in the history of the country, in any crisis and under any conditions, have our Jewish fellow citizens failed to live up to the highest standards of citizenship and patriotism.”
    —William Howard Taft (1857–1930)

    “English history is all about men liking their fathers, and American history is all about men hating their fathers and trying to burn down everything they ever did.”
    —Malcolm Bradbury (b. 1932)