Sviluppo software in gruppi di lavoro complessi ¶

AVVISI ¶

• Gli orali relativi all'appello dell'8/2/2018, riservati a chi supera la prova scritta, si terranno il 21 febbraio e il 22 febbraio, ore 9:30-13:30, Sala Riunioni I piano di Via Comelico 39.
• ​Risultati prova di laboratorio 25/1/2018

Gli obiettivi del corso ¶

Il corso (6CFU) presenta gli aspetti più organizzativi dello sviluppo software, ma mira a formare figure professionali che contribuiscono allo sviluppo, più che alla pura gestione dei progetti. Verranno trattati i seguenti argomenti:

1. Cenni ai modelli organizzativi di sviluppo (cattedrale, bazaar, kibbutz, gruppi di lavoro "agili")
2. Il supporto fornito dai tool di configuration management e versioning
3. Continuous integration & delivery
4. DevOps
5. Documentazione e specifica mirata al lavoro collaborativo (Design By Contract e linguaggi per la separation of concerns)

Modalità d'esame ¶

L'esame consiste in una prova in laboratorio e una prova orale.

A.A. 2017/18 ¶

• ​Calendario lezioni ed esami
• ​Orario ufficiale

Le registrazioni sono fornite a uso esclusivo degli studenti del corso e possono essere utilizzate solo per lo studio personale. Per accedere occorre usare la username studente, la password è il titolo del primo capitolo di "The Mythical Man-Month".

26 settembre 2017, Aula α, 14:30-16:30 ¶

Introduzione ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Questionario
• ​Riferimento per la terminologia dell'ingegneria del software
• ​F. Brooks, The Mythical Man-Month (lettura obbligatoria)

28 settembre 2017, Aula α, 16:30-18:30 ¶

Cattedrale, bazaar, kibbutz ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (162MB WebM)
• ​E. Raymond, The Cathedral and the Bazaar (lettura obbligatoria)
• ​M. Monga, From bazaar to kibbutz: how freedom deals with coherence in the Debian project

3 ottobre 2017, Aula α, 15:30-17:30 ¶

Introduzione ai metodi di sviluppo agili ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (161MB WebM)
• ​Agile manifesto

5 ottobre 2017, Aula α, 16:30-18:30 ¶

Metodologie agili (Scrum) ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (164MB WebM)
• ​Scrum

10 ottobre 2017, Aula α, 15:30-17:30 ¶

• ​Registrazione (221MB WebM)

12 ottobre 2017, Aula α, 16:30-18:30 ¶

Tecniche linguistiche per lo sviluppo collaborativo: asserzioni ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (152MB WebM)
• ​D. Rosenblum, Towards a method of programming with assertions (lettura obbligatoria) Per accedere alla digital library ACM da fuori unimi, attivare il ​proxy

17 ottobre 2017, Aula α, 15:30-17:30 ¶

Design by Contract ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (188MB WebM)
• ​Eiffel: Analysis, Design and Programming Language (ECMA 367) I capitoli interessanti sono il 7 e l'8 e la lettura del 7 è obbligatoria.
• IstruzioniEiffel

19 ottobre 2017, Aula α, 16:30-18:30 ¶

Eiffel ¶

• ​Registrazione (108MB WebM)
• ​Bigino sintassi Eiffel

24 ottobre 2017, Aula 309, 15:30-18:30 ¶

• ​Laboratorio Eiffel

26 ottobre 2017, Aula α, 16:30-18:30 ¶

Aspect-Oriented Programming ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (147MB WebM)

31 ottobre 2017, Aula α, 15:30-17:30 ¶

Software Configuration Management (prof. Carlo Bellettini) ¶

• ​Slide -- ​Slide (versione per la stampa)
• (Registrazione non disponibile)

2 novembre 2017, Aula α, 16:30-18:30 ¶

Git 1 (prof. Carlo Bellettini) ¶

• ​Registrazione (107MB MP4)

7 novembre 2017, Aula α, 15:30-17:30 ¶

Git 2 (prof. Carlo Bellettini) ¶

• ​Registrazione (110MB MP4)

10 novembre 2017, Aula α, 16:30-18:30 ¶

Git 3 (prof. Carlo Bellettini) ¶

• ​Registrazione (106MB MP4)

14 novembre 2017, Aula α, 15:30-17:30 ¶

Git 4 (prof. Carlo Bellettini) ¶

• ​Registrazione (107MB MP4)

21 novembre 2017, Aula 309 , 15:30-18:30 ¶

Laboratorio Git ¶

• ​Lab Git internals

23 novembre 2017, Aula α, 16:30-18:30 ¶

Build automation ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (150MB WebM)

28 novembre 2017, Aula α, 15:30-17:30 ¶

Continuous integration ¶

• ​Slide -- ​Slide (versione per la stampa)
• ​Registrazione (226MB WebM)

30 novembre 2017, Aula α, 16:30-18:30 ¶

Continuous integration & delivery ¶

Continuazione lezione precedente

• ​Slide -- ​Slide (versione per la stampa)
• (Registrazione non disponibile, sorry!)

5 dicembre 2017, Aula α, 15:30-17:30 ¶

Case Study: A Scrum adoption in TXT Retail, an Aptos Company ¶

• ​Slide1 ​Slide2

12 dicembre 2017, Aula β, 15:30-17:30 ¶

Docker (prof. Massimo Santini) ¶

• ​Slide
• ​Tutorial
• ​Registrazione 1 (75MB MP4) ​Registrazione 2 (84MB MP4)

19 dicembre 2017, Aula 309, 15:30-18:30 ¶

Laboratorio Git ¶

• Laboratorio Git 2
• ​Git from the inside out

9 gennaio 2018, Aula 309, 15:30-18:30 ¶

Laboratorio riassuntivo ¶

• ​Esempio di prova d'esame

Materiali anni precedenti ¶

• A.A. 2016/17
• ​A.A. 2015/16 (Resp. prof. Carlo Bellettini, occorre iscrizione al gruppo subreddit)