CNR Institutional Research Information System

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.

Assisting the design of an industrial groupware system by model checking

Ter Beek M H;Gnesi S;Latella D;Massink M;Trentanni G
2008

Abstract

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.
2008
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
73
43
44
1
http://ercim-news.ercim.org/images/stories/EN73/EN73-web.pdf
Groupware systems
Model checking
Articolo di Divulgazione Scientifica.
6
Ter Beek, M H; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G
05 Altro::05.12 Altro
info:eu-repo/semantics/other
open
298
05.12 Altro
File in questo prodotto:
File Dimensione Formato  
prod_227150-doc_125250.pdf

accesso aperto

Descrizione: Assisting the design of an industrial groupware system by model checking
Dimensione 434.26 kB
Formato Adobe PDF
Visualizza/Apri
434.26 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/121345
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact