In this chapter, we describe a general methodology for modeling and analyzing industrial software systems in their design phase, that is, prior to their implementation, by means of (stochastic) model checking.
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
Ter Beek MH;Gnesi S;Latella D;Massink M;Trentanni G
2013
Abstract
In this chapter, we describe a general methodology for modeling and analyzing industrial software systems in their design phase, that is, prior to their implementation, by means of (stochastic) model checking.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_207628-doc_46998.pdf
solo utenti autorizzati
Descrizione: An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
Tipologia:
Versione Editoriale (PDF)
Dimensione
839.38 kB
Formato
Adobe PDF
|
839.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
