- Introduzione al corso, materiale didattico
   - Modelli di ciclo di vita del sw
   - Analisi dei requisiti. Materiale: {{ :informatica:is-a:progetto_vasa.pdf |Vasa}}, {{ :informatica:is-a:pisamover.pdf |PisaMover}}, {{ :informatica:is-a:rebu.pdf |Rebu}}. Esempi di documenti dei requisiti di provenienza industriale: {{ :informatica:is-a:2006_-_eirene_sys.pdf |eirene sys}}, {{ :informatica:is-a:multimahjong.pdf |MultiMahjong}}, {{ :informatica:is-a:nasax38.pdf |Nasa's X-38 Fault Tolerant System Services}}.
   - Introduzione a UML e diagramma dei casi d'uso. Comprende un esercizio proposto: definire il diagramma dei casi d'uso e fornire le narrative delle chiavi magnetiche. {{ :informatica:is-a:is_19_homework_casiduso.pdf |Altri esercizi proposti}}. In vista della prossima lezione provare a farli. Requisito irrinunciabile (must have) è che almeno vi guardiate i tre casi di studio degli anni scorsi (Vasa, Rebu, Pisa Mover). 
   - Lunedì 4 marzo, aula magna del polo Fibonacci "fratelli Pontecorvo" (Matricolandosi): lezione su {{ :informatica:is-a:is_19_agile_fundamentals.pdf |Agile Fundamentals}}, tenuta da Davide Luca Roitero,  Agile Coach di una azienda italiana di grandissime dimensioni.  
   - Esercitazione sui casi d'uso {{ :informatica:is-a:is_05_e1_19_esercitazione_casid_uso.pdf |Esercitazioni casi d'uso Completa}}
   - {{ :informatica:is-a:is_05_19_classi.pdf |Diagrammi delle classi}}, con relativi {{ :informatica:is-a:is_19_homework_classi.pdf |esercizi}} 
   - {{ :informatica:is-a:is_07_e2_19_esercitazione_classi.pdf |Esercitazione Classi}}
   - {{ :informatica:is-a:is_08_19_attivitastati.pdf |Diagramma di Attività e diagramma di Macchina a stati
}} con {{ :informatica:is-a:is_19_homework_attivitastati.pdf |esercizi proposti}}
   - {{ :informatica:is-a:is_10_19_diagrammisequenza.pdf |Diagramma di sequenza}} 
   - {{ :informatica:is-a:is_09_e3_19_esercitazioneattivitastati.pdf |Esercitazione d.attività e d.stati}}, con nuovi {{ :informatica:is-a:is_11_e5_19_esercitazioneperprimaverificatesti.pdf |Esercizi Proposti (prima verifica 17-18)}}
   - Esercitazione attività e stati ({{ :informatica:is-a:is_09_e4_19_soluzionehomework_attivitastati.pdf |soluzione esercizi proposti}}) 
   - {{ :informatica:is-a:is_12_progettazione.pdf |Progettazione del sw}} (FYI: {{ :informatica:is-a:is_12_bis_ereditarietavsdelega.ppt |Note su delega vs ereditarietà}})
   - {{ :informatica:is-a:is_13e14architetture.pdf |Architetture sw}}
   - Architetture sw ed {{ :informatica:is-a:is_e5_1415_esercitazarch.pdf |esercizi}} e altri {{ :informatica:is-a:is_19_homework_architetture.pdf |homework}} ({{ :informatica:is-a:avvisi_is-a_is-b_e_is-ia:copsandrobbers.pdf |testo}} e {{ :informatica:is-a:copsandrobbersbreve.pdf |approfondimento}} per il caso cops and robbers)
   - {{ :informatica:is-a:is_19_homework_architetture_-_soluzioni.pdf |Esercitazione Architetture}} 
   - Correzione della prima verifica intermedia
   - Progettazione di dettaglio: {{ :informatica:is-a:is_15_stutturecomposite.pdf |diagrammi di struttura composita}} e design patterns ({{{{ :informatica:is-a:is_16_factoriessingleton.pdf|factories e singleton}}) (contengono homeworks)
   - {{ :informatica:is-a:is_e6_esercitazdettaglio.pdf |Esercitazione di progettazione di dettaglio e design patterns}}
   - {{ :informatica:is-a:is_17_introverificaevalidazione.pdf |Verifica & Validazione}}
   -  {{ :informatica:is-a:is_18_testing1.pdf |progettazione di una sessione di prove: terminologia, scaffolding, metodi funzionali, metodi combinatori}} (NEW: completati metodi combinatori)
   - {{  :informatica:is-a:is_19_testing2mio.pdf |progettazione di una sessione di prove: metodi strutturali, test mutazionale, oracolo}}. 
   - {{ :informatica:is-a:is_e7_23_esercitazione_testing.pdf |Esercitazione Testing}} (aggiornato 30.5 h12) 
   - {{ :informatica:is-a:is_e8_24_esercitazione_finale.pdf |Esercitazione finale}}



==== Programma e testi ====
  - [[http://www.di.unipi.it/it/didattica/inf-l/insegnamenti/lista-dei-corsi?cds=inf31&anno=2015|Informazioni essenziali dal sito della segreteria]] (Programma comune a corsi A e B).
  - Il materiale didattico è elencato nei lucidi della prima lezione. Di seguito il link al materiale online:
  - {{:informatica:is-a:architetture14.pdf|Dispensa di architettura e progettazione di dettaglio}}.
  - {{:informatica:is-a:dispensatesting2014.pdf|Dispensa sulla verifica}} (superata dal testo Pezzé Young, am comunque valido punto di riferimento per alcuni temi)
  - Binato, Fuggetta, Sfardini, [[https://medium.com/our-insights/ingegneria-del-software-33fe90bc5f2f#.grpw8yrc9| Ingegneria del Software, Creatività e metodo]]. 
  - [[http://ima.udg.edu/~sellares/EINF-ES2/uml2_diagrams.pdf|Riassunto di UML 2.0]] in 33 pagine illustrate, tutto quello che avreste sempre voluto sapere su UML e non avete mai osato chiedere.
  - Durante il corso useremo Visual Paradigm (editor UML), E' disponibile free la Community Edition: https://www.visual-paradigm.com/download/community.jsp
  - Copia di eventuali appunti o lucidi di materiale non coperto da libri/dispense verranno rese disponibili dopo la lezione.
  - {{ :informatica:is-a:dispensaesercizitesti.pdf |Testi di alcuni casi di studio per le esercitazioni}}
  - Per la parte di verifica useremo i capitoli: 1-2-9-10-11-12-16-17 del libro "Software Testing and Analysis: Process, Principles, and Techniques" di Mauro Pezzè e Michal Young, nella versione free che potete richiedere alla pagina http://ix.cs.uoregon.edu/~michal/book/



==== Caso di studio 2019 e testi dei compiti====
  * {{ :informatica:is-a:houseofcars.pdf |HOUSE OF CARS}} 
  * {{ :informatica:is-a:faq_houseofcars.pdf |Domande e risposte su House Of Cars}} (Aggiornato: 1/4)
  * {{ :informatica:is-a:prima_verifica_-_5_aprile_2019.pdf |Testo prima verifica intermedia}}
  * {{ :informatica:is-a:seconda_verifica_-_8_giugno_2019.pdf |Testo seconda verifica intermedia}}
  * {{ :informatica:is-a:primo_appello_-_26_giugno_2019.pdf |Testo primo appello}}
  * {{ :informatica:is-a:secondo_appello-_17_luglio_2019.pdf |Testo secondo appello}}
  * {{ :informatica:is-a:terzo_appello-_13_settembre_2019.pdf |Testo terzo appello}}

==== Casi di studio: materiale che possiamo usare durante il corso ====

== Cops&Robbers ==

  * {{:informatica:is-b:avvisi_is-b:progettolpr.pdf|Testo del problema}}
  * {{:informatica:is-b:avvisi_is-b:modello_di_documento_dei_requisiti.pdf|modello di SR}}
  * {{:informatica:is-a:avvisi_is-a_e_is-ia:copsandrobbersv1.3.pdf|SR di CopsAndRobbers}}
  * {{:informatica:is-a:avvisi_is-a_e_is-ia:progettoricciconevidenziatori0910.pdf|Estrazione 1}}
  * {{:informatica:is-a:avvisi_is-a_e_is-ia:progettoriccievidenziatori0910secondaparte.pdf|Estrazione 2}}
  * {{:informatica:is-a:copsandrobbersbreve.pdf|Architettura}}


== Grande distribuzione == 
  *{{:informatica:is-a:testograndedistrib.pdf|testo del problema}} 
  *{{:informatica:is-a:grandedistribuzioneex.pdf|Esercizi con soluzioni}}.

== Alternatore ==

  * {{:informatica:is-a:alternatoredoc.pdf|Documentazione}}
  * {{:informatica:is-a:doc.zip|Javadoc}}:decomprimere e aprire index.html
  * {{:informatica:is-a:alternatore2014-2.pdf|Presentazione nuova versione - 2014}}
  * {{:informatica:is-a:src.zip|Codice nuova versione 2014 - compresso}}




==== Materiale dagli scorsi a.a.: ====
[[informatica:is-a:aa1718|Materiale a.a. 17/18]]

[[informatica:is-a:aa1617|Materiale a.a. 16/17]]


{{ :informatica:is-a:collezionecompiti1516.zip |Testi dei compiti A.A 15-16.}} 

{{ :informatica:is-a:collezionecompiti1415.zip |Testi dei compiti A.A 14-15.}}