This paper reports on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal 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 teamed up with think3. The technical details of this joint research effort have been documented elsewhere, here the paper reports on the lessons learned from this experience.
Did you find this white paper useful?
27 out of 45 users found this white paper useful
Related white papers
Connecting international businesses securely
Globalisation, efficiency and responsiveness in an incresaingly regulatory environment
Harnessing technology for competitive advantage
The Leisure, Entertainment and Travel Services ICT transition.
PCI Compliance
The new reality for European retail companies
Stakeholders' management and collaboration
How to devise an effective communication strategy
The need for real-time communications in European logistics
Value-added services beyond transportation
e-booking and e-ticketing
How to achieve sustainable competitive advantage in the Leisure, Entertainment and Traval industry.
Telecom 2.0: Mind over matter
ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a...
