Tecnologie a oggetti in Java

Questo libro introduce la programmazione in Java mettendo al centro non soltanto il linguaggio, ma anche i principi che permettono di progettare software corretto, modulare e manutenibile. Il percorso parte dai concetti fondamentali della programmazione orientata agli oggetti - classi, oggetti, ereditarietà, sottotipi e polimorfismo - e affronta progressivamente temi più avanzati, tra cui concorrenza, programmazione funzionale e stream. Ampio spazio è dedicato alla progettazione del software: modularità, information hiding, tipi di dato astratti, contratti, invarianti di rappresentazione, principio di sostituzione, metriche, refactoring e design pattern. Le specifiche in JML vengono utilizzate per collegare programmazione, astrazione e correttezza. Il volume tratta inoltre il testing, dalle tecniche black-box e strutturali all'automazione con JUnit, con numerosi esempi ed esercizi in Java. Il testo è adatto a corsi universitari di programmazione e progettazione orientata agli oggetti e a corsi introduttivi di ingegneria del software basati su Java, ma può essere utilizzato anche per lo studio individuale.