PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. Automated verification of groupware protocols. In: Ercim News, vol. 58 pp. 33 - 35. Special Theme: Automated Software Engineering. ERCIM, 2004.
 
 
Abstract
(English)
Recently, researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR teamed up with researchers from think3, a global provider of integrated product development solutions. The goal was to apply formal modelling and verification techniques to enhance think3's Product Data Management (PDM) application, 'thinkteam' (a registered trademark of think3 Inc) with a publish/subscribe notification service.
Subject Model checking
Groupware
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Formal methods


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional