A note on the checking of interfaces between separately compiled modules.

Coenraad Bron E. J. Dijkstra T. J. Rossingh

Published in: ACM SIGPLAN Notices (1985)

Keyphrases

user interface
multi tasking
modular structure
functional modules
building blocks
modular architecture
consistency checking
neural network
software engineering
database
knowledge structures
query interface
relational databases
multiscale
web interface
information systems
real time