Specification-Based Computing Environments
Robert M. Balzer, David C. Dyer, Marc Fehling, Steven Mack Saunders · Very Large Data Bases · 1982
This paper considers the improvements that could result from basing future computing environments on specification languages rather than programmtng languages. Our goal is to identify those capabilities which will srgnificantly enhance the user’s ability to benefit from the computing environment.