Publication Date:
2004
abstract:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
Model checking; Groupware
List of contributors:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Latella, Diego
Published in: