2493 search results - page 1 / 499 » Tool Support for Design by Contract |
TOOLS
1998
IEEE
13 years 8 months ago
1998
IEEE
METAINFORMATICS
2004
Springer
13 years 10 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
REFLECTION
1999
Springer
13 years 8 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...
KBSE
2006
IEEE
13 years 10 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,...
ISTA
2001
13 years 5 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...