Franco Angeli: Informatica EDP

In questo libro l'autore spiega i criteri per progettare un ipertesto, pensarne i contenuti, le architetture e comprenderne le modalità di fruizione. Pur non trascurando elementi tecnici di base, il volume si orienta soprattutto alla definizione degli obiettivi di un ipertesto o di un sito Internet, alle modalità stilistiche di"confezione" grafica, d'impaginazione, di realizzazione di impianti segnaletici, senza tralasciare informazioni sui risvolti legali, il diritto d'autore e la proprietà letteraria e industriale. Una vasta gamma di esempi, dedicata ai temi più diversi, offre infine una casistica di realizzazioni felici e di errori grossolani di grande utilità.

La semantica formale dei linguaggi di programmazione è di solito omessa nei manuali di riferimento per privilegiare le più semplici spiegazioni intuitive, sebbene sia indispensabile per chiunque voglia verificare proprietà di programmi o comprendere il significato in modo rigoroso. Questo libro intende offrire un'introduzione completa alla descrizione della semantica operazionale dei linguaggi di programmazione secondo la quale un programma è inteso come la modifica che la sua esecuzione apporta ai dati da esso utilizzati. Il testo copre gli aspetti principali di un linguaggio di programmazione ad alto livello come Pascal o C, spiegando chiaramente concetti quali variabile, dichiarazione, comando, procedura e ricorsione.

Fondamentale è diventato oggi parlare di qualità e quantità nel software. L'autore propone attraverso questo volume una riflessione, affrontando i problemi che riguardano la produzione e quelli relativi al servizio. In tema di qualità riporta alcuni cenni sulla metodologia Dafne e sulle principali iniziative in ambito di standard internazionali ISO. In tema di quantità, invece, ampio spazio viene dato alle tecniche dimensionali applicabili nei sistemi software attraverso l'usuale metrica relativa alle Linee di Codice (LOC) e la più recente riguardante i Punteggi Funzionali (FP).