Introduzione XV

Capitolo 1 Il software e l’ingegneria del software 1
1.1 L’evoluzione del ruolo del software 3
1.2 Il software 5
1.3 La natura mutevole del software 8
1.4 Il software preesistente 10
1.5 I miti del software 13
1.6 Come iniziare 15
1.7 Riepilogo 16

PARTE PRIMA - IL PROCESSO DI SVILUPPO SOFTWARE 21

Capitolo 2 Panoramica sul processo 23
2.1 L’ingegneria del software: una tecnologia stratificata 24
2.2 La struttura di un processo 26
2.3 Le indicazioni CMMI (Capability Maturity Model Integration) 31
2.4 I modelli per i processi 35
2.5 Valutazione del processo 38
2.6 Modelli di processo personali e di team 40
2.7 La tecnologia del processo 43
2.8 Prodotto e processo 44
2.9 Riepilogo 46

Capitolo 3 Modelli a processo prescrittivo 51
3.1 Modelli prescrittivi 52
3.2 Il modello a cascata 53
3.3 I modelli a processo incrementale 54
3.4 I modelli a processo evolutivo 58
3.5 Modelli di processo specializzati 66
3.6 Il processo unificato 69
3.7 Riepilogo 75

Capitolo 4 Sviluppo agile 81
4.1 Che cosa si intende con agilita'? 83
4.2 Che cos’e' un processo agile? 84
4.3 Modelli a processo agile 87
4.4 Riepilogo 102

PARTE SECONDA - LA PRATICA DELL’INGEGNERIA DEL SOFTWARE 107

Capitolo 5 Panoramica sugli aspetti pratici dell’ingegneria del software 109
5.1 La pratica dell’ingegneria del software 110
5.2 Le pratiche di comunicazione 115
5.3 Pratiche di pianificazione 118
5.4 Attivita' pratiche di modellazione 121
5.5 Attivita' pratiche di costruzione 126
5.6 Dispiegamento (deployment) 130
5.7 Riepilogo 132

Capitolo 6 Ingegneria dei sistemi informatici 137
6.1 I sistemi informatici 138
6.2 La gerarchia dell’ingegneria dei sistemi 140
6.3 Ingegnerizzazione dei processi operativi: una panoramica 144
6.4 Ingegneria del prodotto: panoramica 146
6.5 Modellazione del sistema 148
6.6 Riepilogo 155

Capitolo 7 Ingegneria dei requisiti 159
7.1 Un ponte verso progettazione e costruzione 160
7.2 I compiti dell’ingegneria dei requisiti 161
7.3 Avvio del processo di ingegneria dei requisiti 167
7.4 Individuazione dei requisiti 170
7.5 Sviluppo dei casi d’uso 177
7.6 Costruzione del modello analitico 182
7.7 I requisiti di negoziazione 187
7.8 I requisiti di convalida 189
7.9 Riepilogo 190

Capitolo 8 Modellazione analitica 195
8.1 Analisi dei requisiti 196
8.2 Approcci alla modellazione analitica 200
8.3 Concetti di modellazione dei dati 201
8.4 Analisi orientata agli oggetti 206
8.5 Modellazione basata su scenari 207
8.6 Modellazione orientata al flusso 214
8.7 Modellazione basata su classi 222
8.8 Creazione di un modello comportamentale 237
8.9 Riepilogo 242

Capitolo 9 Ingegneria della progettazione 249
9.1 Progettazione nel contesto dell’ingegneria del software 251
9.2 Il processo di progettazione e la qualita' della progettazione 253
9.3 Principi di progettazione 256
9.4 Il modello progettuale 265
9.5 La progettazione del software basata su modelli 272
9.6 Riepilogo 274

Capitolo 10 La progettazione dell’architettura 279
10.1 L’architettura del software 280
10.2 Progettazione dei dati 282
10.3 Stili e modelli dell’architettura 284
10.4 Progettazione dell’architettura 291
10.5 Valutazione dei progetti di architettura alternativi 297
10.6 Mappaggio del flusso dei dati in un’architettura software 300
10.7 Riepilogo 314

Capitolo 11 La progettazione a livello dei componenti 319
11.1 Che cos’e' un componente 320
11.2 Progettazione dei componenti basati su classi 326
11.3 Svolgimento della progettazione a livello dei componenti 335
11.4 Il linguaggio OCL (Object Constraint Language) 341
11.5 La progettazione di componenti convenzionali 344
11.6 Riepilogo 350

Capitolo 12 Progettazione dell’interfaccia utente 355
12.1 Le regole d’oro 356
12.2 Analisi e progettazione dell’interfaccia utente 361
12.3 Analisi dell’interfaccia 365
12.4 I passi della progettazione dell’interfaccia 373
12.5 Valutazione del progetto 381
12.6 Riepilogo 383

Capitolo 13 Strategie di collaudo del software 387
13.1 Un approccio strategico al collaudo del software 388
13.2 Questioni strategiche 395
13.3 Strategie di collaudo per il software convenzionale 396
13.4 Strategie di collaudo per il software orientato agli oggetti 406
13.5 Prove di convalida 408
13.6 Collaudo di sistema 410
13.7 L’arte del debugging 413
13.8 Riepilogo 418

Capitolo 14 Tecniche di collaudo del software 423
14.1 Principio fondamentale del collaudo del software 425
14.2 Collaudo black-box e white-box 427
14.3 Collaudo white-box 428
14.4 Collaudo per cammini di base 428
14.5 Collaudo della struttura di controllo 436
14.6 Collaudo black-box 438
14.7 Metodi di collaudo orientati agli oggetti 445
14.8 Metodi di collaudo applicabili a livello della classe 451
14.9 Progettazione di casi di collaudo interclasse 453
14.10 Collaudo di ambienti e applicazioni speciali 456
14.11 Modelli di collaudo 460
14.12 Riepilogo 461

Capitolo 15 Metriche di prodotto per il software 467
15.1 La qualita' del software 469
15.2 Un quadro di riferimento per le metriche del prodotto 472
15.3 Metriche per il modello concettuale 479
15.4 Metriche per il modello progettuale 484
15.5 Metriche per il codice sorgente 497
15.6 Metriche per il collaudo 498
15.7 Metriche per la manutenzione 500
15.8 Riepilogo 501

PARTE TERZA - GESTIONE DEI PROGETTI SOFTWARE 507

Capitolo 16 Concetti di gestione dei progetti 509
16.1 Il panorama gestionale 510
16.2 Le persone 513
16.3 Il prodotto 519
16.4 Il processo 521
16.5 Il progetto 523
16.6 Il principio W5HH 525
16.7 Pratiche critiche 525
16.8 Riepilogo 526

Capitolo 17 Metriche di processo e di progetto 531
17.1 Le metriche nei domini del processo e del progetto 533
17.2 Misurazione del software 536
17.3 Metriche per la qualita' del software 543
17.4 Integrazione delle metriche nel processo software 546
17.5 Valutazioni metriche per piccole aziende 548
17.6 Definizione di un programma di valutazione metrica del software 549
17.7 Riepilogo 552

Capitolo 18 Stime per il progetto software 557
18.1 Osservazioni sulle stime 558
18.2 Il processo di pianificazione del progetto 560
18.3 La portata e la fattibilita' del software 560
18.4 Le risorse 561
18.5 Stime per i progetti software 564
18.6 Tecniche di scomposizione 565
18.7 Modelli empirici di stima 575
18.8 Stima per i progetti orientati agli oggetti 580
18.9 Tecniche di stima specializzate 580
18.10 La scelta tra sviluppo e acquisto 582
18.11 Riepilogo 585

Capitolo 19 Pianificazione dei progetti software 589
19.1 Concetti fondamentali 590
19.2 Pianificazione del progetto 592
19.3 Definizione dei compiti di un progetto software 597
19.4 Definizione di una rete di compiti 599
19.5 Pianificazione temporale 600
19.6 Analisi del valore acquisito 606
19.7 Riepilogo 608

Capitolo 20 Gestione dei rischi 613
20.1 Strategie reattive e preventive 614
20.2 I rischi del software 615
20.3 Individuazione dei rischi 616
20.4 Proiezione dei rischi 619
20.5 Raffinamento dei rischi 624
20.6 Riduzione, monitoraggio e governo dei rischi 625
20.7 Il piano RMMM 627
20.8 Riepilogo 628

Capitolo 21 Gestione della qualita' 633
21.1 La qualita': concetti di base 634
21.2 La garanzia di qualita' del software 637
21.3 Le revisioni del software 640
21.4 Revisioni tecniche formali 643
21.5 Strategie formali di SQA 648
21.6 Garanzia di qualita' su base statistica 648
21.7 Affidabilita' del software 651
21.8 Gli standard ISO 9000 per la qualita' 653
21.9 Il piano SQA 655
21.10 Riepilogo 656

Capitolo 22 Gestione dei cambiamenti 661
22.1 Gestione delle configurazioni software 662
22.2 L’archivio SCM 667
22.3 Il processo di gestione delle configurazioni 671
22.4 Riepilogo 679

PARTE QUARTA - ARGOMENTI AVANZATI DI INGEGNERIA DEL SOFTWARE 685

Capitolo 23 I metodi formali 687
23.1 Concetti fondamentali 688
23.2 Preliminari matematici 693
23.3 Applicazione della notazione matematica alla specifica formale 699
23.4 Linguaggi di specifica formali 701
23.5 Il linguaggio OCL (Object Constraint Language) 702
23.6 Il linguaggio per specifiche Z 706
23.7 I dieci comandamenti dei metodi formali 709
23.8 Il futuro dei metodi formali 710
23.9 Riepilogo 710

Capitolo 24 Ingegneria del software “in camera sterile” 715
24.1 La soluzione a camera sterile 716
24.2 La specifica funzionale 720
24.3 Progettazione in camera sterile 723
24.4 Collaudo in camera sterile 729
24.5 Riepilogo 731

Capitolo 25 L’ingegneria del software a componenti 735
25.1 Ingegnerizzazione di sistemi a componenti 737
25.2 Il processo di ingegneria del software a componenti (CBSE) 738
25.3 Ingegnerizzazione del dominio 739
25.4 Sviluppo a componenti 742
25.5 Classificazione e ricerca dei componenti 748
25.6 Aspetti economici dell’ingegneria del software a componenti 751
25.7 Riepilogo 753

Capitolo 26 Reingegnerizzazione 759
26.1 Reingegnerizzazione del processo aziendale 760
26.2 Reingegnerizzazione del software 763
26.3 Reverse engineering 768
26.4 Ristrutturazione 772
26.5 Forward engineering 774
26.6 Aspetti economici del reverse engineering 777
26.7 Riepilogo 778

Capitolo 27 Il futuro 783
27.1 L’importanza del software: un nuovo punto di vista 784
27.2 La portata del mutamento 785
27.3 Le persone e la costruzione di sistemi 786
27.4 Il “nuovo” processo di ingegneria del software 787
27.5 Nuovi modi per rappresentare le informazioni 788
27.6 La tecnologia come guida 790
27.7 La responsabilita' dell’ingegnere software 791
27.8 Commento conclusivo 792

Indice analitico 797