Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,843,675 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
2014
2014
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case
T. Arts
,
Michele Dorigatti
,
S. Tonetta
International Conference on Computer Safety…
2014
Corpus ID: 30787155
Safety standards demand stringent requirements on embedded systems used in safety-critical applications such as automotive…
Expand
2012
2012
A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
Torben Amtoft
,
J. Dodds
,
+5 authors
A. Cousino
The post
2012
Corpus ID: 69164
In previous work, we have proposed a compositional framework for stating and automatically verifying complex conditional…
Expand
2007
2007
How We Made Onsite Customer Work - An Extreme Success Story
Michelle Williams
,
Jay Packlick
,
Rajeev Bellubbi
,
Scott Coburn
Agile Conference
2007
Corpus ID: 9220824
The Agile Manifesto emphasizes customer collaboration over contract negotiation. No Extreme Programming practice embodies this…
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
Water, Wine, Vinegar, Blood: on Politics, Participation, Violence and conflict over the Hydrosocial Contract
J. Warner
2004
Corpus ID: 154956206
2004
2004
Contract enforcement with AOP: Apply design by contract to Java software development with AspectJ
Filippo Diotalevi
2004
Corpus ID: 59836876
Your Java code often needs to interact with external components when you develop enterprise software. Whether your application…
Expand
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
2000
2000
Effect of air exposure on scallop behaviour, and the implications for subsequent survival in culture
D. Minchin
,
G. Haugum
,
Hanne Skjæggestad
,
Ø. Strand
Aquaculture International
2000
Corpus ID: 38633820
Scallop spat produced for continued culture normally requiretransportation between sites, and the associated stresses may…
Expand
1981
1981
Continuity as an attitudinal contract.
Banahan Bf
,
Banahan Bf rd
1981
Corpus ID: 77449511