A Designer/Verifiers's Assistant.

Published in: IEEE Trans. Software Eng. (1979)

Keyphrases

test bed
design process
conceptual design
data sets
databases
real world
search engine
website
training data
multiscale
data structure
trade off
user interface
knowledge discovery
computer aided
intelligent assistant