Fondamenti matematici dell'ingegneria del software: Una guida pratica agli elementi essenziali

Titolo originale:

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Contenuto del libro:

Questo libro di testo presenta un'introduzione alle basi matematiche dell'ingegneria del software. Presenta le ricche applicazioni della matematica in aree quali i codici a correzione d'errore, la crittografia, i settori critici per la sicurezza, il settore bancario e assicurativo, nonché le applicazioni ingegneristiche tradizionali.

Argomenti e caratteristiche:

⬤ Si occupa della matematica di base per il pensiero critico e la risoluzione dei problemi.

⬤ Discute la logica proposizionale e dei predicati e le varie tecniche di prova per dimostrare la correttezza di un argomento logico.

⬤ Esamina la teoria dei numeri e le sue applicazioni alla crittografia.

⬤ Considera la matematica alla base dei codici a correzione d'errore.

⬤ Discute la teoria dei grafi e le sue applicazioni per la modellazione delle reti.

⬤ Rivede gli strumenti di supporto alla matematica dell'ingegneria del software, compresi i teorici automatizzati e interattivi e il model checking.

⬤ Discute l'ingegneria del software finanziario, compresi l'interesse semplice e composto, la probabilità e la statistica e la ricerca operativa.

⬤ Discute l'affidabilità e l'affidabilità del software e spiega i metodi formali utilizzati per derivare un programma dalle sue specifiche.

⬤ Discute il calcolo, le matrici, i vettori, i numeri complessi e i quaternioni, nonché le applicazioni alla grafica e alla robotica.

⬤ Include argomenti chiave per l'apprendimento, riassunti e domande di ripasso in ogni capitolo, oltre a un utile glossario.

Questo testo/riferimento pratico e di facile consultazione è ideale per gli studenti di informatica che desiderano apprendere come la matematica possa aiutarli a realizzare software di alta qualità e affidabilità nei tempi e nei costi previsti. Il testo è anche un eccellente manuale di autoapprendimento per ingegneri del software, professionisti della qualità e manager del software.