Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- informatica:is-a:start [24/05/2019 alle 08:06 (5 anni fa)] – [Lezioni a.a. 18/19] Roberta Gori
+++ informatica:is-a:start [19/09/2024 alle 08:03 (25 ore fa)] (versione attuale) – Laura Semini
@@ Linea 1: / Linea 1: @@
-====== Ingegneria del Software A.A 2018/2019 ======
+====== Ingegneria del Software A.A 2024/2025 ======
+ * **Docenti**:
+  * Corso A: [[http://pages.di.unipi.it/semini/|Laura Semini]]
+  * * Teams corso A: https://teams.microsoft.com/l/channel/19%3AKumsGNtbWVs6HVHKxZ-wP0bWgyLFQZGQUCm0tlVlq9c1%40thread.tacv2/General?groupId=dd1ec1df-8ee8-4b6d-89ed-33d1c0d79c3d&tenantId=c7456b31-a220-47f5-be52-473828670aa1
+  * Corso B: [[http://pages.di.unipi.it/soldani/|Jacopo Soldani]]
+  * * canale Classroom corso B: https://classroom.google.com/c/NzEzMDc2Nzg0Nzc1?cjc=a3mav3a
+  * **Orario di ricevimento** da definire in base ai vostri orari di lezione
+  * **Orario delle lezioni** : [[http://www.di.unipi.it/it/didattica/inf-l/orario| Dal sito della segreteria]]
+  * **Registro delle lezioni** Da unimap
+  *  *[[:informatica:is-b:avvisi_is-b:|Avvisi]]
-====Corso A: matricole pari====
-  * **Docente**: [[http://www.di.unipi.it/~gori|Roberta Gori]]
-  * **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** Da unimap (da linkare)
-  *[[:informatica:is-a:avvisi_is-a:|Avvisi solo per IS-A]] <- qui risultati prima verifica
-====Corso B: matricole dispari====
-  * **Docente**: [[http://pages.di.unipi.it/semini/|Laura Semini]]
-  * **Orario di ricevimento** nel mio ufficio Mercoledì 11-12 e venerdi 11-12, oppure su appuntamento. Orario valido durante il periodo di lezione. Altrimenti comunque su appuntamento.
-  * **Orario delle lezioni** : [[http://www.di.unipi.it/it/didattica/inf-l/orario| Dal sito della segreteria]]
-  * **Registro delle lezioni** [[https://unimap.unipi.it/registri/dettregistriNEW.php?re=3287377::::&ri=9338|Da unimap]]
-  *[[:informatica:is-b:avvisi_is-b:|Avvisi solo per IS-B]] <- qui esercitazione 10 maggio
+**Modalità di esame**
+  * scritto (si può consultare solo UML@Classroom) + orale a libri chiusi
+  * Lo scritto è basato su un caso di studio (comune con Basi di Dati) il cui testo viene pubblicato 5 gg prima dell’esame (il testo del caso di studio, non il testo dello scritto!)
+  * Il voto dello scritto vale per l’intero anno accademico, ovvero fino all’appello di settembre (incluso)
+  * In caso di doppia consegna dello scritto, vale l'ultimo voto
+  * L’orale può essere sostituito con le due prove in itinere, che rimangono valide per la sessione invernale
-==== NEW! ====
-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/
+===== Lezioni 24-25 =====
-Articolo [[https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster-looks-to-a-software-developer | How the Boeing 737 Max Disaster Looks to a Software Developer]]
+  - Martedì 17/9, 9-11: Introduzione, temi di ingegneria del sw, concetti di base
+  - Giovedì 29/9, 14-16: Modelli di ciclo di vita, Agile
-==== Lezioni a.a. 18/19====
-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_19.pdf |Introduzione al corso, materiale didattico}}
-   - {{ :informatica:is-a:is_02_19.pdf |Modelli di ciclo di vita del sw}}
-   - {{ :informatica:is-a:is_03_19.pdf |Analisi dei requisiti}}. Esercizio proposto: separare informazioni sul dominio dai requisiti e cstruire un documento dei requisiti per almeno uno di questi casi di studio: {{ :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}}.
-   - {{ :informatica:is-a:is_04_19.pdf |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_11_e5_19_esercitazioneperprimaverificasol.pdf |Soluzione Esercizi Proposti (prima verifica 17-18)}}
-   - {{ :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)
-   - Esercitazione di progettazione di dettaglio e design patterns (studenti del corso B: la soluzione costruita in aula il 10 maggio in annunci corso B)
-   - {{ :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_testing2.pdf  |progettazione di una sessione di prove: metodi strutturali, test mutazionale, oracolo}} (aggiornato 22.5 h10.30). {{ :informatica:is-a:is_e7_esercitazione_testing.pdf |Alcuni esercizi dai compiti vecchi e non solo}} (aggiornato 23.3 h18)
+==== ESAMI ====
-==== 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:
+==== Materiale didattico, in parte disponibile on line ====
+  - D. C. Kung. Software Engineering (2ed), MCGraw Hill, 2023. ISBN: 978-1260721706
+  - M. Seidl et al. UML @ Classroom: An introduction to Object-Oriented Modeling, Springer, 2015. ISBN: 9783319127415
   - {{: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)
+  - {{:informatica:is-a:dispensatesting2014.pdf|Dispensa sulla verifica}}
-  - Binato, Fuggetta, Sfardini, [[https://medium.com/our-insights/ingegneria-del-software-33fe90bc5f2f#.grpw8yrc9| Ingegneria del Software, Creatività e metodo]].
+  - Capitoli: 1-2-9-10-11-12-16-17-18 del libro "Software Testing and Analysis: Process, Principles, and Techniques" di Mauro Pezzè e Michal Young, nella versione free che potete richiedere seguendo le istruzioni date nella prima lezione.
+==== Materiale di riferimento/approfondimento, disponibile on line ====
+  - Durante il corso useremo Visual Paradigm (editor UML), E' disponibile free la Community Edition: https://www.visual-paradigm.com/download/community.jsp
+   - Articolo [[https://spectrum.ieee.org/aerospace/aviation/how-the-boeing-737-max-disaster-looks-to-a-software-developer | How the Boeing 737 Max Disaster Looks to a Software Developer]]
   - [[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/
+  - Handbook of Software Engineering, a cura di Sungdeok Cha, Richard N. Taylor, Kyochul Kang, Springer, 2019, Disponibile per gli studenti di unipi [[https://link.springer.com/content/pdf/10.1007%2F978-3-030-00262-6.pdf|alla pagina]]
-==== 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)
+==== Materiale dagli scorsi a.a.: ====
-{{ :informatica:is-a:prima_verifica_-_5_aprile_2019.pdf |Testo prima verifica intermedia}} correzione durante le lezioni.
+[[informatica:is-a:aa2324|Materiale a.a.23/24]]
+[[informatica:is-a:aa2223|Materiale a.a. 22/23]]
-==== Casi di studio: materiale che possiamo usare durante il corso ====
+[[informatica:is-a:aa2122|Materiale a.a. 21/22]]
-== Cops&Robbers ==
+[[informatica:is-a:aa2021|Materiale a.a. 20/21]]
-  * {{:informatica:is-b:avvisi_is-b:progettolpr.pdf|Testo del problema}}
+[[informatica:is-a:aa1920|Materiale a.a. 19/20]]
-  * {{: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}}
+[[informatica:is-a:aa1819|Materiale a.a. 18/19]]
-== 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.}}