Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Marjeta Frey-Pucko 
Titel:
Formal Specification of CSCW Applications 
Abstract:
A formal method for specification of CSCW applications is suggested and its use for specification of the distributed multi-user editor Iris is shown in the report. We specify the interface layer of Iris, some elements of the access layer for its central part - structure editor - and some external components as an audio-video conferencing tool and an electronic mailer. We also show how a social protocol supported in a CSCW application can be considered in a formal specification and give methodolo...    »
 
Stichworte:
CSCW; Distributed Systems; Distributed Multi-User Editor; Formal Specification; Concurrent Abstract Data Types; Temporal Logic 
Jahr:
1997 
Jahr / Monat:
1997-11-01 00:00:00 
Seiten/Umfang:
72