Metodologie e strumenti dell'Ingegneria dei Requisiti ... - MobiLab

More documents

Recommendations

Info

individuati; il codice viene generato automaticamente attaverso Matlab/Simulink 136 . Illustrazione 38: Module Design and Implementation 136 Matlab è un linguaggio di programmazione per applicazioni scientifiche e numeriche. Simulink è un ambiente grafico di simulazione di sistemi complessi. 99
5.2.5 Analisi Statica Illustrazione 39: Detailed Design Review L'analisi statica viene eseguita per verificare che lo standard di codifica aziendale sia stato applicato correttamente al codice sorgente. I risultati sono riportati nel documento Static Analysis Report (SAR), che viene redatto solo per i moduli software con SIL>0. 100
Page 1 and 2:
Facoltà di Ingegneria Corso di Stu
Page 3 and 4:
Indice generale Metodologie e strum
Page 5 and 6:
5.6.4.1.5 Casi d'uso, scenari di in
Page 8 and 9:
Introduzione Nel corso degli ultimi
Page 10 and 11:
Ciò ha fatto nascere una nuova con
Page 12 and 13:
La situazione appena descritta non
Page 14 and 15:
I requisiti non funzionali sono str
Page 16 and 17:
minimizzare gli errori degli utenti
Page 18 and 19:
di fiducia che può essere ragionev
Page 20 and 21:
difficoltà nel capire il modo in c
Page 22 and 23:
In effetti, essi dovrebbero descriv
Page 24 and 25:
specifica dei requisiti. Oltre a qu
Page 26 and 27:
descrizione delle funzionalità che
Page 28 and 29:
1.10 La qualità del software Per q
Page 30 and 31:
Illustrazione 6: Modello di qualit
Page 32 and 33:
Inoltre, l'adozione di strumenti a
Page 34 and 35:
dalle parti interessate, cioè clie
Page 36 and 37:
Prima di procedere ad una definizio
Page 38 and 39:
software. In linea con questo appro
Page 40 and 41:
descrizione di massima del sistema
Page 42 and 43:
pervenire al glossario di dominio 5
Page 44 and 45:
Può capitare, invece, che il lavor
Page 46 and 47:
stakeholder (intervista aperta). Il
Page 48 and 49:
percezione concreta delle interazio
Page 50 and 51: particolare funzionalità, che potr
Page 52 and 53: Ancora, nella redazione della sezio
Page 54 and 55: invalidando la presenza di alcuni r
Page 56 and 57: Un esempio potrebbe essere il colle
Page 58 and 59: fine di risolverle. Il modello di r
Page 60 and 61: Il primo passo da compiere in tal s
Page 62 and 63: sistema che tracci ciascuna propost
Page 64 and 65: è costituita da una sezione di ela
Page 66 and 67: • Disponibilità: probabilità ch
Page 68 and 69: • Requisiti temporali; • Requis
Page 70 and 71: definitiva, il costo del dispositiv
Page 72 and 73: componenti software, per ogni modul
Page 74 and 75: Illustrazione 24: Costo necessario
Page 76 and 77: • pianificazione; • analisi dei
Page 78 and 79: 3.4.3.1 Le fasi del modello a V 1)
Page 80 and 81: dello studio di fattibilità. Il pr
Page 82 and 83: presentano caratteristiche "preditt
Page 84 and 85: Tutte queste aderiscono ai principi
Page 86 and 87: È bene notare, che nel passaggio t
Page 88 and 89: Tabella 5: Luoghi comuni sugli appr
Page 90 and 91: Quanto detto, fa nascere l'idea che
Page 92 and 93: "sistema di trasporto rapido di mas
Page 94 and 95: Per mezzo di uno scambio di dati 12
Page 96 and 97: 5.2.1 Planning La pianificazione de
Page 98 and 99: 5.2.3 Architecture and Design Illus
Page 102 and 103: 5.2.6 Module Testing Illustrazione
Page 104 and 105: 5.2.8 Release Illustrazione 42: Int
Page 106 and 107: 5.3 Analisi del processo di svilupp
Page 108 and 109: capitolato di gara, nel quale sono
Page 110 and 111: Il lavoro è stato condotto sul sis
Page 112 and 113: • la mancanca di una classificazi
Page 114 and 115: - predisponendo l'estendibilità ed
Page 116 and 117: • tracciare la/le relazione/i tra
Page 118 and 119: 5.6.4 La scrittura dei requisiti La
Page 120 and 121: • Postcondizioni: condizioni che
Page 122 and 123: L'insieme delle informazioni relati
Page 124 and 125: Req_4: EB status detection, and inf
Page 126 and 127: tracciare i collegamenti tra quest'
Page 128 and 129: ciascun ingresso di una fase dovrà
Page 130 and 131: The minimum threshold applied effor
Page 132 and 133: LINK a REQ_BRAKE_61 Nome: Traction
Page 134 and 135: TCU is not able to provide effort,
Page 136 and 137: Precondizioni: Descrizione: The BCU
Page 138 and 139: Descrizione:The BCU (dataset 5x2) s
Page 140 and 141: Tipologia:Functional ID: SLR_TCMS_0
Page 142 and 143: frase originaria: In this case of T
Page 144 and 145: Postcondizioni: Tipologia:Functiona
Page 146 and 147: 5.7 IBM Rational DOORS: un tool per
Page 148 and 149: Sezione contenente la documentazion
Page 150 and 151:
icavando la corrispondente matrice
Page 152 and 153:
Illustrazione 57: Esempio di tracci
Page 154 and 155:
Appendice Scenari Gli scenari si di
Page 156 and 157:
3. "Deliver working software freque
Page 158 and 159:
Lo standard IEC 61508 introduce il
Page 160 and 161:
CEI EN 50129 Normativa che specific
Page 162 and 163:
[26] Cockburn, 2001, Agile Software
show all

Metodologie e strumenti dell'Ingegneria dei Requisiti ... - MobiLab

Create successful ePaper yourself

Delete template?

Save as template?