|
|
|
@inproceedings{DBLP:conf/vldb/BalzerDFS82,
author = {Robert Balzer and
David Dyer and
M. Fehling and
S. Saunders},
title = {Specification-Based Computing Environments},
booktitle = {Eigth International Conference on Very Large Data Bases, September
8-10, 1982, Mexico City, Mexico, Proceedings},
publisher = {Morgan Kaufmann},
year = {1982},
isbn = {0-934613-14-1},
pages = {273-279},
ee = {db/conf/vldb/BalzerDFS82.html},
crossref = {DBLP:conf/vldb/82},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This paper considers the improvements that could result from basing future computing environments on specification languages rather than programming languages. Our goal is to identify those capabilities which will significantly enhance the user's ability to benefit from the computing environment.
We have identified five such capabilities: Search, Coordination, Automation, Evolution, and Inter-User Interactions. They will be directly supported by the computing environment. Hence, each represents a "freedom" that users will enjoy without having to program them (i.e. be concerned with the details of how they are achieved). They form both the conceptual and the practical basis for this computing environment.
Copyright © 1982 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.
