Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Articolo in rivista) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1016/j.jlap.2008.11.004 (literal)

Alternative label

• Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (2009)
  Assisting the design of a groupware system - Model checking usability aspects of thinkteam
  in The journal of logic and algebraic programming; Elsevier, Amsterdam (Paesi Bassi)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Maurice H. ter Beek; Stefania Gnesi; Diego Latella; Mieke Massink; Maurizio Sebastianis; Gianluca Trentanni (literal)

Pagina inizio

• 191 (literal)

Pagina fine

• 232 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.sciencedirect.com/science/article/pii/S1567832608000945 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 78 (literal)

Rivista

• ?The ?journal of logic and algebraic programming (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Journal of Logic and Algebraic Programming, vol. 78 (4) pp. 191 - 232. IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir, U. Nestmann (eds.). Elsevier, 2009. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 4 (literal)

Note

• Scopu (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo', CNR Area della Ricerca, Via G. Moruzzi 1, 56124 Pisa, Italy; Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo', CNR Area della Ricerca, Via G. Moruzzi 1, 56124 Pisa, Italy; Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo', CNR Area della Ricerca, Via G. Moruzzi 1, 56124 Pisa, Italy; Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo', CNR Area della Ricerca, Via G. Moruzzi 1, 56124 Pisa, Italy; thinkt3 Inc., Via Ronzani 7/29, 40033 Bologna, Italy; Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo', CNR Area della Ricerca, Via G. Moruzzi 1, 56124 Pisa, Italy (literal)

Titolo

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam (literal)

Abstract

• Product Data Management (PDM) systems support the product/document management of design processes such as those typically used in the manufacturing industry. They allow enterprises to capture, organise, automate and share engineering information in an efficient way. The efficient handling of queries on product information and the uploading and downloading of families of related files for modification by designers are essential aspects of such systems. The efficiency of the system as perceived by its clients depends on its correct functioning, but also for a significant part on its performance aspects. In this article, we apply both qualitative and stochastic model-checking techniques to evaluate various usability and performance aspects of the thinkteam PDM system, and of several proposed extensions, thereby assisting the design phase of an industrial groupware system. (literal)

Editore

• Elsevier (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• GIANLUCA TRENTANNI (Persona)

Insieme di parole chiave

• Keywords of "Assisting the design of a groupware system - Model checking usability aspects of thinkteam" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• GIANLUCA TRENTANNI (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• Elsevier (Editore)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• ?The ?journal of logic and algebraic programming (Rivista)

Insieme di parole chiave di

• Keywords of "Assisting the design of a groupware system - Model checking usability aspects of thinkteam" (Insieme di parole chiave)