Entrambe le parti precedenti la revisioneRevisione precedenteProssima revisione | Revisione precedente |
informatica:is-a:start [29/06/2019 alle 08:22 (5 anni fa)] – [Corso A: matricole pari] Laura Semini | informatica:is-a:start [19/09/2024 alle 08:03 (4 giorni fa)] (versione attuale) – Laura Semini |
---|
====== 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** [[https://unimap.unipi.it/registri/dettregistriNEW.php?re=3292425::::&ri=9773 |Da unimp]] | |
*[[:informatica:is-a:avvisi_is-a:|Avvisi solo per IS-A]] | |
* **Causa Possibile Sciopero la lezione di Venerdi' 31 e' cancellata e recuperata Mercoledi' 29 ore 9-11 aula C.** --- //[[gori@di.unipi.it|Roberta Gori]] 28/05/2019 alle 11:46 (0 secondi fa)// | |
| |
| |
====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 risultati verifiche e prova per orale | |
| |
| **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) | |
- {{ :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}} | |
| |
| ==== 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: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. | - [[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}} | - {{ :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) | |
* {{ :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}} | |
==== Casi di studio: materiale che possiamo usare durante il corso ==== | |
| |
== Cops&Robbers == | ==== Materiale dagli scorsi a.a.: ==== |
| |
* {{:informatica:is-b:avvisi_is-b:progettolpr.pdf|Testo del problema}} | [[informatica:is-a:aa2324|Materiale a.a.23/24]] |
* {{: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:aa2223|Materiale a.a. 22/23]] |
| |
== Grande distribuzione == | [[informatica:is-a:aa2122|Materiale a.a. 21/22]] |
*{{:informatica:is-a:testograndedistrib.pdf|testo del problema}} | |
*{{:informatica:is-a:grandedistribuzioneex.pdf|Esercizi con soluzioni}}. | |
| |
== Alternatore == | [[informatica:is-a:aa2021|Materiale a.a. 20/21]] |
| |
* {{:informatica:is-a:alternatoredoc.pdf|Documentazione}} | [[informatica:is-a:aa1920|Materiale a.a. 19/20]] |
* {{: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}} | |
| |
| [[informatica:is-a:aa1819|Materiale a.a. 18/19]] |
| |
| |
| |
==== Materiale dagli scorsi a.a.: ==== | |
[[informatica:is-a:aa1718|Materiale a.a. 17/18]] | [[informatica:is-a:aa1718|Materiale a.a. 17/18]] |
| |
[[informatica:is-a:aa1617|Materiale a.a. 16/17]] | [[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.}} | |
| |
| |
| |
| |