Sviluppo software in gruppi di lavoro complessi

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)

...

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

Laboratorio Git

Materiali anni precedenti

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