Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,081,325 papers from all fields of science
Search
Sign In
Create Free Account
Design by contract
Known as:
Code contract
, DbC
, Contract-based design
Expand
Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ANSI/ISO C Specification Language
Abstract data type
Assertion (software development)
Clojure
Expand
Broader (1)
Software design
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
DEFAULTS AND CHOICES IN THE MARRIAGE CONTRACT: HOW TO INCREASE AUTONOMY, ENCOURAGE DISCUSSION, AND CIRCUMVENT CONSTITUTIONAL CONSTRAINTS
Andrew Blair-Stanek
2014
Corpus ID: 159410591
The law has long recognized the contractual nature of marriage. The trend, in recent decades, towards respecting autonomy has led…
Expand
Highly Cited
2011
Highly Cited
2011
A BSDE Approach to Counterparty Risk under Funding Constraints
S. Crépey
2011
Corpus ID: 18524229
This paper deals with the valuation and hedging of counterparty risk on OTC derivatives. Our study is done in a multiple-curve…
Expand
2010
2010
Modular Design by Contract Visually and Formally Using VCL
N. Amálio
,
Pierre Kelsen
IEEE Symposium on Visual Languages and Human…
2010
Corpus ID: 12618126
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper…
Expand
2009
2009
Exploiting the synergy between automated-test-generation and programming-by-contract
Mike Barnett
,
M. Fähndrich
,
J. D. Halleux
,
F. Logozzo
,
N. Tillmann
International Conference on Software Engineering
2009
Corpus ID: 18219717
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing…
Expand
2006
2006
Avoiding Infinite Recursion with Stratified Aspects
E. Bodden
,
Florian Forster
,
F. Steimann
NODe/GSEM
2006
Corpus ID: 11533450
Abstract: Infinite recursion is a known problem of aspect-oriented programming with AspectJ: if no special precautions are taken…
Expand
2004
2004
Pronunciation change in conversational speech and its implications for automatic speech recognition
M. Saraçlar
,
S. Khudanpur
Computer Speech and Language
2004
Corpus ID: 6558963
2002
2002
Private Investment in Urban Agriculture in Nairobi, Kenya
Caleb
,
Mireri
,
Caleb Mireri
2002
Corpus ID: 18653069
ack of credit is one of the major problems facing the development of urban agriculture in Nairobi, the capital of Kenya. National…
Expand
2001
2001
Automatic Computation of a Linear Interval Enclosure
L. Kolev
Reliable Computing
2001
Corpus ID: 42155886
AbstractRecently, an alternative interval approximation F(X) for enclosing a factorable function f(x) in a given box X has been…
Expand
1995
1995
Specification and Implementation of Consistency Constraints in Object-Oriented Database Systems: Applying Programming-by-Contract
A. Geppert
,
K. Dittrich
Datenbanksysteme für Business, Technologie und…
1995
Corpus ID: 6200525
We describe an approach to the specification and implementation of consistency constraints in object-oriented database systems…
Expand
1982
1982
Recent Union Contract Concessions
D. Mitchell
1982
Corpus ID: 53077974
SINCE 1979, union contract concessions have occurred with increasing frequency. Substantial press attention has been devoted to…
Expand
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)
ACCEPT & CONTINUE