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 [18/05/2010 alle 17:19 (15 anni fa)] – Carlo Montangero | magistralesicurezza:sss:risorse [27/09/2010 alle 17:43 (14 anni fa)] (versione attuale) – Carlo Montangero | ||
---|---|---|---|
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 98: | Linea 106: | ||
- Metodo di progetto INFORMED -{{: | - Metodo di progetto INFORMED -{{: | ||
- | - Esercizio: {{: | + | - 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.1274203177.txt.gz · Ultima modifica: 18/05/2010 alle 17:19 (15 anni fa) da Carlo Montangero