Tool Support for Design by Contract.

Reinhold Plösch

Published in: TOOLS (26) (1998)

Keyphrases

tool support
design decisions
case study
design process
engineering design
building blocks
computer aided
design tools
real world
artificial intelligence
high level
cooperative
expert systems
user interface
design methodology
design space