Sviluppo software in gruppi di lavoro complessi

AVVISI

• ​Risultati prova di laboratorio 10/9/2018 Gli orali, riservati a chi ha superato la prova scritta, si terranno il 25 settembre, a partire dalle ore 9:30, in Sala Riunioni V piano di Via Celoria 18
• ​Risultati prova di laboratorio 18/7/2018
• ​Risultati prova di laboratorio 2/7/2018
• ​Risultati prova di laboratorio 13/6/2018
• ​Risultati prova di laboratorio 8/2/2018
• ​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)