Informatica teorica e ingegneria del software

Titolo originale:

Theoretical Computer Science and Software Engineering

Contenuto del libro:

La disciplina che comprende lo studio dell'informazione, del calcolo e dell'automazione è nota come informatica.

Può essere ampiamente suddivisa in informatica teorica, informatica applicata e sistemi informatici. L'informatica teorica (TCS) si riferisce a una branca della matematica e dell'informatica che si concentra sugli aspetti matematici dell'informatica, come la teoria dei tipi, il calcolo lambda e la teoria della computazione.

L'informatica applicata comprende l'ingegneria del software, l'elaborazione di immagini e suoni e la grafica computerizzata. L'ingegneria del software è un sottocampo dell'informatica che si concentra sulla progettazione, lo sviluppo, il collaudo, la distribuzione e la manutenzione di prodotti software. Questo libro esplora tutti gli aspetti importanti dell'informatica teorica e dell'ingegneria del software nello scenario attuale.

Fornirà inoltre interessanti argomenti di ricerca che i lettori interessati potranno affrontare. Sono state incluse numerose ricerche recenti per mantenere i lettori aggiornati sui concetti globali in quest'area di studio.