Formal Requirements for Virtualizable Third Generation Architectures.

Gerald J. Popek Robert P. Goldberg

Published in: Commun. ACM (1974)

Keyphrases

requirements engineering
requirements specification
life cycle
information systems
knowledge base
case study
artificial neural networks
neural network
machine learning
relational databases
formal specification
user requirements