2493 search results - page 5 / 499 » Tool Support for Design by Contract |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
SEFM
2005
IEEE
14 years 29 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
WIRTSCHAFTSINFORMATI
2007
13 years 8 months ago
2007
The increasing complexity of products and services encourages more and more companies to form collaborative networks. As these companies are independent organizations there is oft...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
CBSE
2004
Springer
14 years 23 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...