Jose: Aspects for Design by Contract80-89.

Yishai A. Feldman Ohad Barzilay Shmuel S. Tyszberowicz

Published in: SEFM (2006)

Keyphrases

case study
design process
engineering design
databases
artificial intelligence
decision making
digital libraries
building blocks
design decisions
design methodology
design issues
design requirements