1996 | OriginalPaper | Buchkapitel
Specifying and Reasoning About CSCW
verfasst von : Steve Reeves
Erschienen in: Design, Specification and Verification of Interactive Systems ’96
Verlag: Springer Vienna
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we introduce a pair of logics which, taken together, can be seen as a first step towards a formal specification language for CSCW systems. We show the development of the logics and give some simple examples of their use. We also make a distinction between the computational part of the system and the people, i.e. we do not follow a simple action and agent analysis. Since people bring knowledge to a system we treat them differently. We also propose the use of situation theory as a way of capturing requirements.