cerca
Modellazione ed Analisi di Sistemi
modifica cronologia stampa login logout

Wiki

UniCrema


Materie per semestre

Materie per anno

Materie per laurea


Help

Modellazione ed Analisi di Sistemi

 :: Modellazione ed Analisi di Sistemi ::
Quanto ti Ŕ piaciuta la materia?

2 stars N░ voti: 21
Come ti Ŕ sembrato il corso?

2 stars N░ voti: 19

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