magistralesicurezza:sss:risorse
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente | ||
magistralesicurezza:sss:risorse [10/05/2010 alle 14:51 (15 anni fa)] – Carlo Montangero | magistralesicurezza:sss:risorse [27/09/2010 alle 17:43 (14 anni fa)] (versione attuale) – Carlo Montangero | ||
---|---|---|---|
Linea 1: | Linea 1: | ||
- | {{: | + | ===== S3 - Risorse ===== |
=== Programma e testi === | === Programma e testi === | ||
Linea 11: | Linea 11: | ||
Testo: [INF] SPARK Team. //INFORMED Design Method for SPARK//. Praxis S.P0468.42.4. 2005.{{: | Testo: [INF] SPARK Team. //INFORMED Design Method for SPARK//. Praxis S.P0468.42.4. 2005.{{: | ||
- | == OCTAVE: un metodo per la raccolta dei requisiti | + | === Altre letture === |
+ | |||
+ | == ADA2005: la versione più aggiornata | ||
Testo: [ALL] R. A. Cavalli et al. // | Testo: [ALL] R. A. Cavalli et al. // | ||
Linea 18: | Linea 20: | ||
Testo: [KAO] A. van Lamsveerde. // | Testo: [KAO] A. van Lamsveerde. // | ||
- | |||
- | === Altre letture === | ||
J. Barnes. // | J. Barnes. // | ||
+ | |||
+ | == OCTAVE: un metodo per la raccolta dei requisiti di sicurezza. == | ||
+ | |||
+ | R. A. Cavalli et al. // | ||
+ | |||
+ | == KAOS: un metodo formale per la raccolta dei requisiti di sicurezza. == | ||
+ | |||
+ | A. van Lamsveerde. // | ||
=== Lucidi === | === Lucidi === | ||
Linea 70: | Linea 78: | ||
- Tokeneer ID Station - Esercizio {{: | - Tokeneer ID Station - Esercizio {{: | ||
- | - Tokeneer ID Station - Ristrutturazione di Clock {{: | + | - Tokeneer ID Station - Ristrutturazione di Clock {{: |
- Condizioni di verifica - Parte II {{: | - Condizioni di verifica - Parte II {{: | ||
Linea 96: | Linea 104: | ||
- Condizioni di verifica - Parte VI {{: | - Condizioni di verifica - Parte VI {{: | ||
+ | - Metodo di progetto INFORMED -{{: | ||
+ | |||
+ | - Esercizio: {{: | ||
+ | |||
+ | == NB per gli abbonati a questa pagina == | ||
+ | La pagina del progetto fonale è un livello sopra: [[magistralesicurezza: | ||
+ | |||
+ | == Lucidi in formato grande == | ||
+ | |||
+ | - Parte I {{: | ||
+ | |||
+ | - Parte II {{: | ||
+ | |||
+ | - Parte III {{: |
magistralesicurezza/sss/risorse.1273503067.txt.gz · Ultima modifica: 10/05/2010 alle 14:51 (15 anni fa) da Carlo Montangero