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] |