430 search results - page 6 / 86 » Design by Contract for Python |
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
TARK
2009
Springer
14 years 2 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
DAGSTUHL
2004
13 years 8 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
MANSCI
2008
13 years 7 months ago
2008
This paper is about ...nancial contracting choices for the entrepreneur. In an incomplete contracts model, the entrepreneur can design contracts contingent on three possible contr...
ECBS
2002
IEEE
14 years 12 days ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...