Building Specifications in an Arbitrary Institution.

Donald Sannella Andrzej Tarlecki

Published in: Semantics of Data Types (1984)

Keyphrases

high level
higher education
formal specification
machine learning
web services
three dimensional
data structure
expert systems
information technology
artificial neural networks
special case
software engineering
control flow
delay insensitive