Riassunti VERIFICATO

RIASSUNTO SE2

90 visualizzazioni

13 download

Nessun voto ancora

Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.

Di cosa parla

Page 1-3: Presenta concetti di Alloy come pred, run, assert e check.
4-5: Elabora funzioni e regole in Alloy per il tracking dell'indirizzo (addr) e del nome (Name).
6-7: Discussione su alias, group, reused e altri concetti di Alloy.
8-9: Esempi matematici e logici con p, q, r e operazioni come transposta e potenza.
10: Definizione di machine e world in software engineering.
12-13: Descrizione degli stili architetturali come client-server, event-based systems e service-oriented architecture (SOA).
14-15: Presentazione dei microservizi e delle pattern cloud.
16-17: Principi di progettazione come divide et impera, riduzione del couplig e testabilità.
18-20: Processo di progettazione top-down e bottom-up.
21-23: Analisi delle architetture con tempi di occorrenza, risposta, riparazione e recupero.
24-26: Definizione di affidabilità (reliability) e disponibilità (availability).
27-29: Verifica e validazione del software con modelli di verifica e ruoli durante la revisione.
30-31: Static analysis e testing unitario, integration e system testing.
32-34: Strategie di testing come top-down, bottom-up e thread.
35-36: Descrizione delle tecniche di testing white box e black box.
37-38: Introduzione al management del progetto con definizione di progetto e obiettivi.

Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.