PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of an industrial groupware system by model checking. In: ERCIM News, vol. 73 pp. 43 - 44. ERCIM, 2008.
 
 
Abstract
(English)
Researchers from the Formal Methods and Tools group of ISTI-CNR and think3, Inc. are collaborating on the application of formal modelling and verification techniques to enhance think3's Product Data Management (PDM) groupware application.
URL: http://ercim-news.ercim.org/images/stories/EN73/EN73-web.pdf
Subject Groupware systems
Model checking
D.2.4 Software/Program Verification. Formal methods
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