In praise of under-specification?

Published in: Commun. ACM (2017)

Keyphrases

high level
information retrieval
search engine
knowledge base
user defined
formal specification
formal verification
ims learning design
asynchronous circuits