Modellazione ed Analisi di Sistemi

 :: Modellazione ed Analisi di Sistemi ::

Quanto ti è piaciuta la materia? * ** *** **** ***** N° voti: 46

Come ti è sembrato il corso? * ** *** **** ***** N° voti: 42

Docente: Elvinia Riccobene

Materiale ufficiale

Lucidi (Richiede autenticazione)

Esame

L'esame consiste in: Scritto + progetto o prova in laboratorio.

Libri di testo

1. E.Börger, R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis, Springer Verlag, 2003.
2. Michael Huth, Mark Ryan. Logic in Computer Science: modelling and reasoning about systems (2nd edition). Cambridge University Press, 2004.
3. B. Berard et al., System and Software Verification Model-Checking Techniques and Tools. Springer Verlag, 2001.Doron Peled. Software Reliability Methods. Springer, 2001.

Appunti delle lezioni

Introduzione
Abstract State Machines (ASM)
AsmetaL
Ground Model e Raffinamento
ASM Multiagenti

---

UniCrema | Secondo Semestre | Complementari o Magistrale