CEI EN 50129 Normativa che specifica le procedure ed i requisiti tecnici per lo sviluppo di sistemi elettronici per il segnalamento ferroviario. Le normative CEI EN 50128 e 50129 forniscono dettagli rispetto ai criteri da applicare ai processi di: • Formazione del presonale; • Gestione della sicurezza; • Gestione della qualità; • Specifica <strong>dei</strong> requisiti di sistema; • Definizione dell'architettura di sistema; • Definizione delle caratteristiche progettuali; • Progettazione; • Valutazione degli effetti <strong>dei</strong> guasti; • Verifica e validazione. 159
Bibliografia [1] Alan Mark Davis, A. M. Davis, 1993, Software Requirements: Objects, Functions and States, Prentice Hall [2] FURPS http://www.federica.unina.it/smfn/ingegneria-del-software-smfn/ingegneria-requisiti/13/ [3] Ian Sommerville, I. Sommerville, 2007, Software Engineering 8th edition, Addison Wesley [4] Ian Sommerville, I. Sommerville, 2001, Software Engineering, 6th edition, Addison Wesley [5] N. E. Fenton and S. L. Pfleeger, 1997,Software Metrics, a rigorous approach, second edition, PWS publishing company, 1997. [6] ISO 9000 http://it.wikipedia.org/wiki/Norme_della_serie_ISO_9000 [7] P. Zave, 1997, "Classification of Research Efforts in Requirements Engineering", ACM Computing Surveys 29 [9] ISO/IEC 9126 Software engineering – Product quality [10] A.Davis, The Art of Requirements Triage, IEEE Computer 36 [11] A. van Lamsweerde, 2000, "Requirements Engineering in the Year 00: A Research Perspective" in Proceedings of the International Conference of Software Engineering ICSE’00, Limerick [12] E.Hull, K.Jackson, J Dick, 2011, Requirements Engineering, Springer [13] J.C.S.P, Leite,1996, "Viewpoints on Viewpoints", in ACM Joint Proceedings of the SIGSOFT'96 Workshops [14] Viewpoints http://home.<strong>dei</strong>.polimi.it/ghezzi/_PRIVATE/Colazzo_i-star_final.pdf [15] M. Carrol, 1995, Scenario-based Design, Wiley [16] Jacobson, "Object- Oriented software Engineering. A Use Case Driven Approach" [17] Chirone, Tornincasa, Disegno Tecnico Industriale, Edizione il Capitello [18] N.D'Addea, G.Perotti, 2005, Manuale di manutenzione industriale, Tecniche Nuove [19] Roger S. Pressman, 2008, Ingegneria del software, McGraw Hill [20] Martin Fowler , The New Methodology, http://www.martinfowler.com/articles/newMethodology.htm [21]Kent Beck, 2000, EXtreme Programming Explained: Embrace Change, Addison Wesley Longman Publishing Co. [22] Kent Beck, 1999, Extreme Programming Explained [23] J. Stapleton, 1997, DSDM Dynamic systems development method, Harlow, England: Addison- Wesley [24] K.Schwaber, M. Beedle, 2002, Agile Software Development with SCRUM, Prentice Hall [25] Palmer, J. Felsing, 2002, A Pratical Guide to Feature-Driven Development 160
- 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 100 and 101:
individuati; il codice viene genera
- 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 162 and 163: [26] Cockburn, 2001, Agile Software