Advertisement

Interacting With Information

  • Dan R. OlsenJr.
Conference paper
Part of the Eurographics book series (EUROGRAPH)

Abstract

In a workshop on formal specifications it is important to look carefully at the purpose of those specifications and to challenge some of their assumptions. This is not to discount the value of a formal approach but rather to expand the range of ideas that should be considered. This paper is not so much a report of research as it is an informal challenge to the community and a sketch of a potential direction of research.

Keywords

Abstract Model General Tool Research Office Account Number Closed World Assumption 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1995

Authors and Affiliations

  • Dan R. OlsenJr.
    • 1
  1. 1.Computer Science DepartmentBrigham Young UniversityUSA

Personalised recommendations