Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley, 2013.
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.
URL: http://onlinelibrary.wiley.com/doi/10.1002/9781118459898.ch9/summary
DOI: 10.1002/9781118459898.ch9
Subject Groupware
Formal methods
Model checking
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
68N30 Mathematical aspects of software engineering

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