Rigorous Software Development

"Rigorous Software Development" è un libro di testo che tratta l'applicazione di metodi matematici nello sviluppo software. Si rivolge a professionisti e studenti di informatica che desiderano acquisire una comprensione approfondita della verifica dei programmi e dei metodi formali nell'ingegneria del software. Il libro offre un'introduzione completa alla verifica dei programmi utilizzando metodi basati sulla logica e li presenta nel contesto dei metodi formali. Tratta la specifica del comportamento dei componenti software attraverso contratti, il che porta a una verifica modulare e indipendente dei programmi. Gli autori pongono particolare enfasi sulla connessione tra aspetti teorici e pratici, al fine di fornire una solida conoscenza sulla verifica statica dei programmi. Il libro presuppone solo conoscenze di base in matematica standard e offre un'introduzione autonoma alla logica proposizionale e alla logica dei predicati con teorie.