45 | | === 2. 3 ottobre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
46 | | |
47 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo01.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo01-handout.pdf Slide (versione per la stampa)] |
48 | | * [https://archive.org/details/MythicalManMonth The Mythical Man Month] (**lettura obbligatoria**) |
49 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo01.webm Registrazione (83MB WebM)] |
50 | | |
51 | | === 3. 8 ottobre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
52 | | |
53 | | * [http://www.catb.org/~esr/writings/cathedral-bazaar/cathedral-bazaar/ E. Raymond, The Cathedral and the Bazaar] ('''lettura obbligatoria''') |
54 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo02.webm Registrazione (198MB WebM)] |
55 | | * [https://homes.di.unimi.it/monga/lib/oss-icse04.pdf M. Monga, From Bazaar to Kibbutz: How Freedom Deals with Coherence in the Debian Project] |
56 | | |
57 | | === 4. 10 ottobre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
58 | | |
59 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo02.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo02-handout.pdf Slide (versione per la stampa)] |
60 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo03.webm Registrazione (187MB WebM)] |
61 | | * [http://agilemanifesto.org/ Agile Manifesto] ('''lettura obbligatoria''') |
62 | | |
63 | | === 5. 15 ottobre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
64 | | |
65 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo04.webm Registrazione (55MB WebM)] (A causa di un disguido manca l'ultima mezz'ora) |
66 | | |
67 | | === 6. 17 ottobre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
68 | | |
69 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo05.webm Registrazione (72MB WebM)] |
70 | | * [http://www.scrumdesk.com/Download/Documents/AgileResources/ScrumGuidelines.pdf Scrum Guidelines] ('''lettura obbligatoria''') |
71 | | |
72 | | === 7. 22 ottobre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
73 | | |
74 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo06.webm Registrazione (87MB WebM)] |
75 | | |
76 | | === 8. 24 ottobre 2019, Aula G22, 16:30-18:30 (Carlo Bellettini) |
77 | | |
78 | | * [http://homes.di.unimi.it/sisop/lucidi1920/SGCarlo1.pdf Slide] |
79 | | * [https://www.martinfowler.com/articles/continuousIntegration.html M. Fowler, Continuous Integration] ('''lettura obbligatoria''') |
80 | | |
81 | | === 9. 29 ottobre 2019, Aula 301, 14:30-16:30 (Carlo Bellettini) |
82 | | |
83 | | * [http://homes.di.unimi.it/sisop/lucidi1819/video/svigruppo02.mp4 Registrazione Git1 2018/19] |
84 | | |
85 | | === 10. 31 ottobre 2019, Aula G22, 16:30-18:30 (Carlo Bellettini) |
86 | | |
87 | | * [http://homes.di.unimi.it/sisop/lucidi1819/video/svigruppo03.mp4 Registrazione Git2 2018/19] |
88 | | |
89 | | |
90 | | |
91 | | === 11. 5 novembre 2019, Aula 301, 14:30-16:30 (Carlo Bellettini) |
92 | | |
93 | | * [http://homes.di.unimi.it/sisop/lucidi1819/video/svigruppo04.mp4 Registrazione Git3 2018/19] |
94 | | |
95 | | |
96 | | |
97 | | === 12. 7 novembre 2019, Aula G22, 16:30-18:30 (Carlo Bellettini) |
98 | | |
99 | | * [http://homes.di.unimi.it/sisop/lucidi1819/video/svigruppo05.mp4 Registrazione Git4 2018/19] |
100 | | |
101 | | |
102 | | |
103 | | === 13. 12 novembre 2019, Aula 301, 14:30-16:30 (Carlo Bellettini) |
104 | | |
105 | | * [http://homes.di.unimi.it/sisop/lucidi1819/video/svigruppo06.mp4 Registrazione Git5 2018/19] |
106 | | |
107 | | |
108 | | === 14. 14 novembre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
109 | | |
110 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo03.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo03-handout.pdf Slide (versione per la stampa)] |
111 | | |
112 | | |
113 | | |
114 | | === 15. 19 novembre 2019, Laboratorio 309, 14:30-18:30 |
115 | | |
116 | | * [http://homes.di.unimi.it/~sisop/lucidi1819/svigruppo-lab02.pdf Esercizi Git laboratorio] |
117 | | * [http://homes.di.unimi.it/sisop/lucidi1920/gitesame.zip Tema d'esame Git] |
118 | | |
119 | | === 16. 21 novembre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
120 | | |
121 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo16.webm Registrazione (124MB WebM)] |
122 | | |
123 | | === 17. 26 novembre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
124 | | |
125 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo04.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo04-handout.pdf Slide (versione per la stampa)] |
126 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo17.webm Registrazione (83MB WebM)] |
127 | | * [https://doi.org/10.1145/143062.143098 D. Rosenblum, Towards a method of programming with assertions] ('''lettura obbligatoria''') Per accedere alla ''digital library ACM'' da fuori unimi, attivare il proxy [https://users.unimi.it/banchedati/proxybib.pac proxybib.pac] |
128 | | |
129 | | |
130 | | === 18. 28 novembre 2019, Aula G22, 16:30-18:30 (Mattia Monga) |
131 | | |
132 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo05.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo05-handout.pdf Slide (versione per la stampa)] |
133 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo18.webm Registrazione (82MB WebM)] |
134 | | * [https://www.eiffel.com/values/design-by-contract/introduction/ Introduzione a Eiffel] |
135 | | |
136 | | |
137 | | === 19. 3 dicembre 2019, Aula 301, 14:30-16:30 (Mattia Monga) |
138 | | |
139 | | * [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo06.pdf Slide] -- [http://homes.di.unimi.it/sisop/lucidi1920/svigruppo06-handout.pdf Slide (versione per la stampa)] |
140 | | * [http://homes.di.unimi.it/sisop/lucidi1920/video/svigruppo19.webm Registrazione (83MB WebM)] |
141 | | * [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf Eiffel] ('''lettura obbligatoria''') del capitolo 7; interessante anche il capitolo 8 |
142 | | |
143 | | |
144 | | === 5 dicembre 2019, Aula G22, 16:30-18:30 (Carlo Bellettini) |
145 | | |
146 | | * [http://homes.di.unimi.it/sisop/lucidi1920/SGCarlo02.pdf Slide] |
147 | | |
148 | | === 12 dicembre 2019, Aula Delta, 14:30-18:30 Laboratorio |
149 | | |
150 | | * [https://gitlab.com/svigruppo/eiffel-bowling Esercitazione Eiffel] [https://gitlab.com/svigruppo/eiffel-bowling/tree/soluzione1920 Soluzione commentata] (La soluzione è nella ''branch'' `soluzione1920`) |
151 | | * [https://bertrandmeyer.com/2010/01/26/more-expressive-loops-for-eiffel/ I loop `across` sono successivi all'approvazione dello standard, ma molto comodi!] |
152 | | * [http://se.ethz.ch/~meyer/publications/computer/contract.pdf B. Meyer, Applying "Design by Contract" (1992)] |
153 | | |
154 | | |
155 | | === 17 dicembre 2019, '''Aula Bertoni, 16:30-18:30''' Massimo Santini |
156 | | |
157 | | * [https://docker-tutorial.netlify.com/ Docker] |
158 | | |
159 | | === 19 dicembre 2019, Aula Delta, 14:30-18:30 Laboratorio |
160 | | |
161 | | * [https://gitlab.com/svigruppo/eiffel-animals Tema Eiffel] |
162 | | * [https://homes.di.unimi.it/bellettini/LabTemaEsameGit.zip Tema Git 1] |
163 | | * [https://homes.di.unimi.it/bellettini/LabTemaEsameGit1.zip Tema Git 2] |
164 | | * [https://gitlab.com/svigruppo/simulazione-esame Esempio di tema d'esame completo] |
165 | | |
166 | | === 9 gennaio 2020, Aula Bertoni, 16:30-18:30 Giorgio Audino (Bloomberg) |
167 | | |
168 | | * [http://homes.di.unimi.it/sisop/lucidi1920/audino.pdf Slide] |