Design by contract

Known as: Code contract, DbC, Contract-based design 
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 10
Is this relevant?
Highly Cited
2005
Highly Cited
2005
ion in Design By Contract Yoonsik Cheon a,∗, Gary T. Leavens b, Murali Sitaraman c, and Stephen Edwards d aDept. of Computer… (More)
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2003
Highly Cited
2003
How do rational firms respond to consumer biases? In this paper, we analyze the profitmaximizing contract design of firms if… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
2002
2002
The main goal of "Design by Contract" is to improve correctness and robustness of software systems. For this purpose, the… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
I continue to be surprised at the low number of developers who use design by contract principles to create software. While it… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
jContractor is a purely library and design-pattern based approach to support Design By Contract specifications such as… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
1997
1997
The idea of design by contract (DBC), realized in the statically typed object-oriented programming language Eiffel, can be viewed… (More)
  • figure 4
  • table 1
  • figure 8
Is this relevant?
1996
1996
In the context of object-oriented programming languages we propose an extension of the Smalltalk environment which provides for… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software… (More)
  • table 1
  • figure 1
  • table 2
  • figure 6
  • figure 7
Is this relevant?