241 search results - page 1 / 49 » Design by Contract Using Meta-Assertions |
JOT
2002
13 years 5 months ago
2002
SEFM
2009
IEEE
14 years 4 days ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
REFLECTION
1999
Springer
13 years 9 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
PPDP
2009
Springer
13 years 12 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 ...