Interacting With Information
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.
KeywordsAbstract Model General Tool Research Office Account Number Closed World Assumption
Unable to display preview. Download preview PDF.