Reliability by Construction using Design by Contract Methodology.

P. V. R. Murthy

Published in: ISEC (2016)

Keyphrases

case study
database
knowledge base
building blocks
design methodology
optimal design
information retrieval
learning algorithm
metadata
multiscale
search algorithm
knowledge based systems
design process