Questo volume affronta gli aspetti relativi all'ingegneria del software che sono Più strettamente informatici, cioè i principi e le tecniche che stanno alla base delle attività di specifica, progetto, programmazione e manutenzione del software. La sua organizzazione è la seguente: nel primo capitolo viene introdotto il modello del "ciclo di vita" del software assieme alle problematiche che vi sorgono; il secondo è dedicato alle attività di progetto e programmazione, di cui descrive principi e metodologia.

I linguaggi per tali fasi sono introdotti nel terzo capitolo, mentre i linguaggi di programmazione, strumenti che incorporano i principi di "astrazione" e "modutarità", vengono trattati nel quarto capitolo. L'ultimo capitolo presenta gli "ambienti di sviluppo", come collezione di strumenti interattivi ed integrati.

Il testo può essere usato in corsi universitari o di aggiornamento in ingegneria del software e presuppone conoscenza ed esperienza di linguaggi di programmazione.

Roberto Barbuti, nato a S. Giuliano Terme (Pi) il 10.8.1953, si è laureato a Pisa in scienze dell'informazione nel 1977. I temi principali della sua attività di ricerca sono ingegneria del software, semantica dei linguaggi di programmazione e programmazione logica.

Marco Bellia, nato a Pisa il 27.10.1951, si è laureato a Pisa in scienze dell'informazione nel 1975. I temi principali della sua attività di ricerca sono ingegneria del software, linguaggi di programmazione e programmazione logica.

Pierpaolo Degano, nato a Udine il 14.6.1950, si è laureato a Pisa in scienze dell'informazione nel 1973. I temi principali della sua attività di ricerca sono intelligenza artificiale, ingegneria del software, semantica dei linguaggi di programmazione e dei sistemi distribuiti e concorrenti.

Giorgio Levi, nato a Trieste il 20. 7.1942, si è laureato a Padova in ingegneria elettronica nel 1966. I temi principali della sua attività di ricerca sono intelligenza artificiale, ingegneria del software, semantica dei linguaggi di programmazione e programmazione logica.

Gli autori svolgono attività didattica e scientifica presso il Dipartimento di informatica dell'Università di Pisa.