====== Ingegneria del Software A.A 2017/2018 ======


====Corso A: matricole pari==== 
  * **Docente**: [[http://www.di.unipi.it/~gervasi|Vincenzo Gervasi]]
  * **Orario di ricevimento** [[http://www.di.unipi.it/it/didattica/inf-l/commissioni-e-docenti/ricevimento|Dal sito della segreteria]]
  * **Orario delle lezioni** [[http://www.di.unipi.it/it/didattica/inf-l/orario| Dal sito della segreteria]]
  * **Registro delle lezioni** [[http://unimap.unipi.it/registri/dettregistriNEW.php?re=171485::::&ri=80233|Da unimap]]
  *[[:informatica:is-a1718:avvisi_is-a:|Avvisi solo per IS-A]]

 
====Corso B: matricole dispari==== 
  * **Docente**: [[http://pages.di.unipi.it/semini/|Laura Semini]]
  * **Registro delle lezioni** [[http://unimap.unipi.it/registri/dettregistriNEW.php?re=154653::::&ri=9338|Da unimap]]
  *[[:informatica:is-b:avvisi_is-b:|Avvisi solo per IS-B]] 




==== Lezioni a.a. 17/18====

Le lezioni dei corsi A e B possono essere leggermente diverse: diversi modi di presentare il materiale (lucidi e/o lavagna), ritmo (un argomento anticipato o posticipato), però i lucidi di riferimento per i due corsi corsi sono gli stessi:

   - {{ :informatica:is-a:is_01_18.pdf |Introduzione al corso, ciclo di vita a cascata}}
   - {{ :informatica:is-a:is_02_18.pdf |Altri modelli di ciclo di vita}}
   - {{ :informatica:is-a:is_03_18.pdf |Analisi dei requisiti}} (esempi: {{ :informatica:is-a:light-control-system-pd.pdf |Light Control System}}, {{ :informatica:is-a:alaska.pdf |Alaska}}, {{ :informatica:is-a:cm1dataset.zip |NASA CM1}})
   - {{ :informatica:is-a:agile_fundamentals_-_davide_roitero.pdf |Agile Fundamentals (Davide Roitero)}} Materiale di riferimento: http://www.scrumguides.org/
   - {{ :informatica:is-a:is_04_18.pdf |Metodo Jackson}}
   - Problem frames {{ :informatica:is-a:is_23_basicframes1.pdf |parte 1}} e {{ :informatica:is-a:is_23_basicframes2.pdf |parte 2}}
   - {{ :informatica:is-a:is_05introumlcasiduso.pdf |Introduzione a UML, diagramma dei casi d'uso}}
   - {{ :informatica:is-a:is_07_diagrammiclassioggetti.pdf |Diagramma delle classi e Diagramma degli oggetti}}
   - {{ :informatica:is-a:is_08_e2_esercitazione.pdf |Esercitazione}}: requisiti, diagramma dei casi d'uso, diagramma delle classi. {{ :informatica:is-a:esercizio_jackson.pdf| Esercitazione}}: il metodo Jackson
   - {{ :informatica:is-a:is_10_diagrammiattivitastati.pdf |Diagramma di Macchina a Stati e Diagramma di Attività}}
   - {{ :informatica:is-a:is_e4_18_esercitazioneattivitastati.pdf |Esercitazione}}
   - {{ :informatica:is-a:is_12_diagrammisequenza.pdf |Diagrammi di sequenza}}
   - {{ :informatica:is-a:is_13_progettazione.pdf |Principi di progettazione}}
   - {{ :informatica:is-a:is_14e15architetture.pdf |Architetture software}}
   - {{ :informatica:is-a:is_14e15architetture.pdf |Architetture software (continua)}}
   - Esercitazione sugli esercizi "Architetture"
   - {{ :informatica:is-a:is_17_stutturecomposite.pdf |Progettazione di Dettaglio: diagrammi di struttura composita}}
   - {{ :informatica:is-a:is_18_factoriessingleton.pdf |Design patterns: factories e singleton}}
   - {{ :informatica:is-a:is_e6_19_esercitazioneprogdett.pdf |Esercitazione}}
   - {{ :informatica:is-a:is_e6_19_esercitazioneprogdett.pdf |Esercitazione (continua)}}
   - {{ :informatica:is-a:is_21_verificaevalidazione.pdf |Verifica: concetti generali e verifiche statiche}} 
   - {{ :informatica:is-a:is_22_testing.pdf |Progettazione delle prove}}
   - {{ :informatica:is-a:is_e7_23_esercitazione_testing.pdf |Esercitazione sulla verifica}} 
   - {{ :informatica:is-a:is_e8_24_esercitazione_finale.pdf |Esercitazione su progettazione e verifica
}}
Esercizi
  - {{ :informatica:is-a:is_e1_18_esercizi_jackson.pdf |Il metodo Jackson}}
  - {{ :informatica:is-a:is_e2_18_esercizi_casiduso.pdf |Casi d'uso}}
  - {{ :informatica:is-a:is_e3_18_homework_classi.pdf |Diagramma delle classi e Diagramma degli oggetti}}
  - {{ :informatica:is-a:is_e4_18_homework_attivitastati.pdf |Diagramma di Macchina a Stati e Diagramma di Attività}}
  - {{ :informatica:is-a:is_e4_18_homework_attivitastati.pdf |Diagramma di Macchina a Stati e Diagramma di Attività}}
  - {{ :informatica:is-a:is_e5_16_homework_architetture.pdf |Architetture}}
  - Per la fase di verifica, vedere gli eservizi nella lezione di esercitazione
  - {{ :informatica:is-a:is_esercitazionestammibene.pdf |Collezione di esercizi caso di studio "stammibene"}}




{{:informatica:is-a:dispensaex.pdf|Dispensa di esercizi piu' datati}}. 
  
==== Verifiche e appelli A.A. 2017-2018==== 

Caso di Studio: {{ :informatica:is-a:progetto_vasa.pdf |Progetto VASA}}

Durante i compiti si possono consultare libri, dispense, appunti, copie dei lucidi. Potete portarvi copia del caso di studio (eventualmente con le vostre annotazioni) da casa. Se lo dimenticate, ve ne diamo una copia noi.

=== Testi di verifica e d'esame ===
  *Prima verifica intermedia: {{ :informatica:is-a:prima_verifica_-_6_aprile_2018.pdf |testo}}
  *Seconda verifica intermedia: {{ :informatica:is-a:secondo_compitino_-_1_giugno_2018.pdf |testo}}
  *Primo appello:  {{ :informatica:is-a:primo_appello_-_13_giugno_2018.pdf |testo}}
  *Secondo appello: {{ :informatica:is-a:secondo_appello_-_6_luglio_2018.pdf |testo}}
  *Terzo appello: {{ :informatica:is-a:terzo_appello_-_10_settembre_2018.pdf |testo}}
  *Primo appello straordinario: {{ :informatica:is-a:appello_straordinario_-_3_novembre_2018.pdf |testo}}
  *Quarto appello: {{ :informatica:is-a:quarto_appello_-_16_gennaio_2019.pdf |testo}} 
  *Quinto appello: 
  *Secondo appello straordinario: