Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ANSI/ISO C Specification LanguageAbstract data typeAssertion (software development)Clojure

Broader (1)

Software design

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
A BSDE Approach to Counterparty Risk under Funding Constraints
This paper deals with the valuation and hedging of counterparty risk on OTC derivatives. Our study is done in a multiple-curve… 
2010
2010
Channel incentives in sharing new product demand information and robust contracts
2009
2009
Exploiting the synergy between automated-test-generation and programming-by-contract
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing… 
2006
2006
Avoiding Infinite Recursion with Stratified Aspects
Abstract: Infinite recursion is a known problem of aspect-oriented programming with AspectJ: if no special precautions are taken… 
2004
2004
Pronunciation change in conversational speech and its implications for automatic speech recognition
Highly Cited
2003
Highly Cited
2003
Optimal Contract Design: For Whom?
In designing a derivative contract, an exchange carefully considers how its attributes affect the expected profits of its members… 
2002
2002
Private Investment in Urban Agriculture in Nairobi, Kenya
ack of credit is one of the major problems facing the development of urban agriculture in Nairobi, the capital of Kenya. National… 
2001
2001
Automatic Computation of a Linear Interval Enclosure
AbstractRecently, an alternative interval approximation F(X) for enclosing a factorable function f(x) in a given box X has been… 
1982
1982
Recent Union Contract Concessions
SINCE 1979, union contract concessions have occurred with increasing frequency. Substantial press attention has been devoted to… 
1974
1974
An interactive multidimensional data display and analysis system
(Submitted to A.E.C. Scientific Computer Information Exchange Meeting, May 2-3, 1974) PRIM-9 is an interactive data display and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)