Sciweavers

74
Voted
KBSE
2006
IEEE
15 years 2 months ago
Model-driven Monitoring: Generating Assertions from Visual Contracts
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,...
Marc Lohmann, Gregor Engels, Stefan Sauer