Groupware: some issues and experiences
Communications of the ACM
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Awareness and coordination in shared workspaces
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Supporting awareness of others in groupware
Conference Companion on Human Factors in Computing Systems
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration
Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration
The Problem with 'Awareness': Introductory Remarks on 'Awareness in CSCW'
Computer Supported Cooperative Work
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
Efficiently implementing synchronous groupware
Efficiently implementing synchronous groupware
Cooperative Systems Design: Scenario-Based Design of Collaborative Systems
Cooperative Systems Design: Scenario-Based Design of Collaborative Systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Playing with time in publish-subscribe using a domain-specific model checker
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Towards fine-grained automated verification of publish-subscribe architectures
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |
We report on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal of the case study was to investigate a priori, i.e. before implementation, the effects of adding a lightweight and easy-to-use publish/subscribe (event) notification service to thinkteam--an asynchronous and dispersed groupware system which was developed by think3. Researchers from the Formal Methods and Tools (FM&T) group of ISTI-CNR--with a longstanding experience in research on the development and application of formal methods, notations, and software tools for the specification, design, and verification of complex computer systems--therefore teamed up with think3--a global provider of integrated product development solutions that provides mechanical design and Product Data Management (PDM) software catering the product management needs of design processes in the manufacturing industry. The technical details of this joint research effort have been documented elsewhere, here we report on the lessons learned from this experience.