On the Inevitable Interwining of Specification and Implementation.

William R. Swartout Robert Balzer

Published in: Commun. ACM (1982)

Keyphrases

database
data sets
artificial neural networks
efficient implementation
machine learning
search engine
case study
data structure
multi agent systems
future development
implementation details
specification language
code generation