Skip to content

Sistemi informatici, appunti gratuiti disponibili

Elenco degli appunti gratis che approfondiscono il tema Sistemi informatici, ordinati in base alla data di pubblicazione.  Registrandosi è possibile scaricare gratuitamente il PDF.
Ogni giorno pubblichiamo nuovi appunti.
Iscriviti a Tesionline per essere avvertito della pubblicazione di nuovi materiali di tuo interesse.


Modellazione e analisi di sistemi

Appunti per il corso "Modellazione e analisi di sistemi", A.A 2018/2019, che presenta metodologie e tecniche per la specifica e l'analisi formale di sistemi complessi. Argomenti affrontati: • Cosa sono ed a cosa servono i Metodi Formali • Applicazione dei Metodi Formali alla progettazione ed all'analisi di sistemi • Modellazione ed analisi ad alto livello di astrazione. Le Abstract State Machines (ASM) • Tecniche di raffinamento di modelli. Tecniche di astrazione • Il tool-set ASMETA per modelli ASM • Casi di studio di specifica di sistemi •...