Computer-aided programming using formally specified design templates.

Published in: APSEC (2002)

Keyphrases

computer aided
computer assisted
design tools
computer aided design
computer aided diagnosis
image analysis
diagnosis of breast cancer
computer vision
design process