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:

    The history of this country was made largely by people who wanted to be left alone. Those who could not thrive when left to themselves never felt at ease in America.
    Eric Hoffer (1902–1983)

    The history of modern art is also the history of the progressive loss of art’s audience. Art has increasingly become the concern of the artist and the bafflement of the public.
    Henry Geldzahler (1935–1994)

    The only history is a mere question of one’s struggle inside oneself. But that is the joy of it. One need neither discover Americas nor conquer nations, and yet one has as great a work as Columbus or Alexander, to do.
    —D.H. (David Herbert)