Eiffel nello sviluppo software in gruppi di lavoro complessi

Perché Eiffel
	Gli strumenti
Design by Contract
	Un esempio: CLOCK
		La creazione degli oggetti
		Feature di assegnamento
		Feature che cambiano lo stato degli oggetti
		Ridefinizione di una feature ereditata
Principio di Liskov
	Principio di Liskov nei contratti Eiffel
		Ancora CLOCK.out
	Polimorfismo e parametri delle feature
	Esempio: ANIMAL
		Catcall
		Pre- e postcondizioni
Violazioni dei patti contrattuali
	Assenza di violazioni
		La rilevazione di una violazione
		Il trattamento delle violazioni
	Esempio: CLOCK.make_with_current_time
	Esempio: violazioni in COW.eat
Il kata BOWLING
Limitazioni e difficoltà
	Proprietà stateful
	Esecuzione e valori di verità
	Proprietà non funzionali
Temi d'esame risolti
	Scacchi
		PIECE
		KING
		SQUARE
		BOARD
		Client d'esempio
		Soluzione
	Geometria
		POLYGON
		REGULAR_POLYGON
		RECTANGLE
		SQUARE
		TILER
		Soluzione
	Conti bancari
		ACCOUNT
		Soluzione
	La struttura dati RING_BUFFER
		RING_BUFFER
		Casi di test
		Soluzione
	Tic-Tac-Toe
		TICTACTOE
		MATRIX_WITH_SYMMETRIES
		APPLICATION
		Casi di test
		Soluzione
Ringraziamenti