loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
24 th. EUROMICRO Conference Volume 2 (EUROMICRO'98)
Multi-View Specification of CSCW Applications
Västerås, Sweden
August 25-August 27
ISBN: 0-8186-8646-4
ASCII Text
x 
 
M. Frey-Pučko, Maximilian Frey, "Multi-View Specification of CSCW Applications," EUROMICRO Conference, vol. 2, pp. 20484, 24 th. EUROMICRO Conference Volume 2 (EUROMICRO'98), 1998.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1998.708061,
author = {M. Frey-Pučko and Maximilian Frey},
title = {Multi-View Specification of CSCW Applications},
journal ={EUROMICRO Conference},
volume = {2},
year = {1998},
issn = {1089-6503},
pages = {20484},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.708061},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Multi-View Specification of CSCW Applications
SN - 1089-6503
SP
EP
A1 - M. Frey-Pučko,
A1 - Maximilian Frey,
PY - 1998
KW - null
VL - 2
JA - EUROMICRO Conference
ER -
 
M. Frey-Pučko, University of Ljubljana
Maximilian Frey, Technische Universität München
The paper deals with formal specification of the user interface layer for an audio-video conferencing tool. The used specification method is based on a combination of CADT (Concurrent Abstract Data Types) and DistTL (Distributed Temporal Logic). This combination allows to specify three views of an application: the architectural view, the view of the system and user behaviour, and the view of data. We also show how a social protocol supported in a CSCW application can be considered in a formal specification and give methodological guidelines for the use of the method.
Citation:
M. Frey-Pučko, Maximilian Frey, "Multi-View Specification of CSCW Applications," euromicro, vol. 2, pp.20484, 24 th. EUROMICRO Conference Volume 2 (EUROMICRO'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.