Eiffel nello sviluppo software in gruppi di lavoro complessi

Description

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