Formal Requirements for Virtualizable Third Generation Architectures.

Gerald J. Popek Robert P. Goldberg

Published in: SOSP (1973)

Keyphrases

requirements specification
requirements engineering
user requirements
formal methods
mathematical theory
neural network
machine learning
decision making
image processing
multimedia
multiscale
software engineering
formal model
application specific
heterogeneous environments
neural architectures