| 41 | | ==== Introduzione |
| 42 | | |
| 43 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo00.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo00-handout.pdf Slide (versione per la stampa)] |
| 44 | | * [https://mmonga.typeform.com/to/fwLAiC Questionario] |
| 45 | | * [https://www.computer.org/web/swebok/v3 Riferimento per la terminologia dell'ingegneria del software] |
| 46 | | * [https://archive.org/details/mythicalmanmonth00fred F. Brooks, The Mythical Man-Month] ('''lettura obbligatoria''') |
| 47 | | |
| 48 | | === 28 settembre 2017, Aula α, 16:30-18:30 |
| 49 | | |
| 50 | | ==== Cattedrale, bazaar, kibbutz |
| 51 | | |
| 52 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo01.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo01-handout.pdf Slide (versione per la stampa)] |
| 53 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo01.webm Registrazione (162MB WebM)] |
| 54 | | * [http://www.catb.org/~esr/writings/cathedral-bazaar/cathedral-bazaar/ E. Raymond, The Cathedral and the Bazaar] ('''lettura obbligatoria''') |
| 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 | | === 3 ottobre 2017, Aula α, 15:30-17:30 |
| 58 | | |
| 59 | | ==== Introduzione ai metodi di sviluppo agili |
| 60 | | |
| 61 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo02.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo02-handout.pdf Slide (versione per la stampa)] |
| 62 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo02.webm Registrazione (161MB WebM)] |
| 63 | | * [http://agilemanifesto.org/ Agile manifesto] |
| 64 | | |
| 65 | | |
| 66 | | === 5 ottobre 2017, Aula α, 16:30-18:30 |
| 67 | | |
| 68 | | ==== Metodologie agili (Scrum) |
| 69 | | |
| 70 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo03.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo03-handout.pdf Slide (versione per la stampa)] |
| 71 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo03.webm Registrazione (164MB WebM)] |
| 72 | | * [http://www.scrumdesk.com/Download/Documents/AgileResources/ScrumGuidelines.pdf Scrum] |
| 73 | | |
| 74 | | |
| 75 | | === 10 ottobre 2017, Aula α, 15:30-17:30 |
| 76 | | |
| 77 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo04.webm Registrazione (221MB WebM)] |
| 78 | | |
| 79 | | |
| 80 | | === 12 ottobre 2017, Aula α, 16:30-18:30 |
| 81 | | |
| 82 | | ==== Tecniche linguistiche per lo sviluppo collaborativo: asserzioni |
| 83 | | |
| 84 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo04.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo04-handout.pdf Slide (versione per la stampa)] |
| 85 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo04b.webm Registrazione (152MB WebM)] |
| 86 | | * [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 [http://www.sba.unimi.it/BibliotecaDigitale/2484.html#c12243 proxy] |
| 87 | | |
| 88 | | |
| 89 | | === 17 ottobre 2017, Aula α, 15:30-17:30 |
| 90 | | |
| 91 | | ==== Design by Contract |
| 92 | | |
| 93 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo05.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo05-handout.pdf Slide (versione per la stampa)] |
| 94 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo05.webm Registrazione (188MB WebM)] |
| 95 | | * [http://www.ecma-international.org/publications/files/ECMA-ST/ECMA-367.pdf Eiffel: Analysis, Design and Programming Language (ECMA 367)] I capitoli interessanti sono il 7 e l'8 e la lettura del 7 è **obbligatoria**. |
| 96 | | * IstruzioniEiffel |
| 97 | | |
| 98 | | |
| 99 | | === 19 ottobre 2017, Aula α, 16:30-18:30 |
| 100 | | |
| 101 | | ==== Eiffel |
| 102 | | |
| 103 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo05b.webm Registrazione (108MB WebM)] |
| 104 | | * [http://eiffel-guide.com/ Bigino sintassi Eiffel] |
| 105 | | |
| 106 | | |
| 107 | | === 24 ottobre 2017, Aula 309, 15:30-18:30 |
| 108 | | |
| 109 | | |
| 110 | | * [https://gitlab.com/svigruppo/eiffel-bowling Laboratorio Eiffel] |
| 111 | | |
| 112 | | |
| 113 | | === 26 ottobre 2017, Aula α, 16:30-18:30 |
| 114 | | |
| 115 | | ==== Aspect-Oriented Programming |
| 116 | | |
| 117 | | |
| 118 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo06.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo06-handout.pdf Slide (versione per la stampa)] |
| 119 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo06.webm Registrazione (147MB WebM)] |
| 120 | | |
| 121 | | |
| 122 | | === 31 ottobre 2017, Aula α, 15:30-17:30 |
| 123 | | |
| 124 | | ==== Software Configuration Management (prof. Carlo Bellettini) |
| 125 | | |
| 126 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo07.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo07-handout.pdf Slide (versione per la stampa)] |
| 127 | | * (Registrazione non disponibile) |
| 128 | | |
| 129 | | |
| 130 | | === 2 novembre 2017, Aula α, 16:30-18:30 |
| 131 | | |
| 132 | | ==== Git 1 (prof. Carlo Bellettini) |
| 133 | | |
| 134 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/git1.mp4 Registrazione (107MB MP4)] |
| 135 | | |
| 136 | | === 7 novembre 2017, Aula α, 15:30-17:30 |
| 137 | | |
| 138 | | ==== Git 2 (prof. Carlo Bellettini) |
| 139 | | |
| 140 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/git2.mp4 Registrazione (110MB MP4)] |
| 141 | | |
| 142 | | |
| 143 | | === 10 novembre 2017, Aula α, 16:30-18:30 |
| 144 | | |
| 145 | | ==== Git 3 (prof. Carlo Bellettini) |
| 146 | | |
| 147 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/git3.mp4 Registrazione (106MB MP4)] |
| 148 | | |
| 149 | | |
| 150 | | === 14 novembre 2017, Aula α, 15:30-17:30 |
| 151 | | |
| 152 | | ==== Git 4 (prof. Carlo Bellettini) |
| 153 | | |
| 154 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/git4.mp4 Registrazione (107MB MP4)] |
| 155 | | |
| 156 | | |
| 157 | | |
| 158 | | === 21 novembre 2017, Aula 309 , 15:30-18:30 |
| 159 | | |
| 160 | | ==== Laboratorio Git |
| 161 | | |
| 162 | | |
| 163 | | * [https://gitlab.com/svigruppo/git-internals Lab Git internals] |
| 164 | | |
| 165 | | |
| 166 | | === 23 novembre 2017, Aula α, 16:30-18:30 |
| 167 | | |
| 168 | | ==== Build automation |
| 169 | | |
| 170 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo11.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo11-handout.pdf Slide (versione per la stampa)] |
| 171 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo11.webm Registrazione (150MB WebM)] |
| 172 | | |
| 173 | | |
| 174 | | === 28 novembre 2017, Aula α, 15:30-17:30 |
| 175 | | |
| 176 | | ==== Continuous integration |
| 177 | | |
| 178 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo12.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo12-handout.pdf Slide (versione per la stampa)] |
| 179 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/svigruppo12.webm Registrazione (226MB WebM)] |
| 180 | | |
| 181 | | |
| 182 | | |
| 183 | | === 30 novembre 2017, Aula α, 16:30-18:30 |
| 184 | | |
| 185 | | ==== Continuous integration & delivery |
| 186 | | |
| 187 | | Continuazione lezione precedente |
| 188 | | |
| 189 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo12.pdf Slide] -- [http://homes.di.unimi.it/~sisop/lucidi1718/svigruppo12-handout.pdf Slide (versione per la stampa)] |
| 190 | | * (Registrazione non disponibile, sorry!) |
| 191 | | |
| 192 | | === 5 dicembre 2017, Aula α, 15:30-17:30 |
| 193 | | |
| 194 | | ==== Case Study: A Scrum adoption in TXT Retail, an Aptos Company |
| 195 | | |
| 196 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/txt1.pdf Slide1] [http://homes.di.unimi.it/~sisop/lucidi1718/txt2.pdf Slide2] |
| 197 | | |
| 198 | | |
| 199 | | === 12 dicembre 2017, Aula β, 15:30-17:30 |
| 200 | | |
| 201 | | ==== Docker (prof. Massimo Santini) |
| 202 | | |
| 203 | | * [http://broad-foot.surge.sh/#1 Slide] |
| 204 | | * [https://github.com/mapio/docker-tutorial Tutorial] |
| 205 | | * [http://homes.di.unimi.it/~sisop/lucidi1718/video/docker1.mp4 Registrazione 1 (75MB MP4)] [http://homes.di.unimi.it/~sisop/lucidi1718/video/docker2.mp4 Registrazione 2 (84MB MP4)] |
| 206 | | |
| 207 | | |
| 208 | | |
| 209 | | === 19 dicembre 2017, Aula 309, 15:30-18:30 |
| 210 | | |
| 211 | | ==== Laboratorio Git |
| 212 | | |
| 213 | | * [wiki:Lab02 Laboratorio Git 2] |
| 214 | | * [https://maryrosecook.com/blog/post/git-from-the-inside-out Git from the inside out] |
| 215 | | |
| 216 | | |
| 217 | | === 9 gennaio 2018, Aula 309, 15:30-18:30 |
| 218 | | |
| 219 | | ==== Laboratorio riassuntivo |
| 220 | | |
| 221 | | * [https://gitlab.com/svigruppo/simulazione-esame Esempio di prova d'esame] |