I programmi software sono entità formali con significati precisi indipendenti dai loro programmatori, quindi il passaggio dalle idee ai programmi comporta necessariamente una formalizzazione ad un certo punto. La prima parte di questa introduzione ai metodi formali sviluppa una comprensione di ciò che costituisce i metodi formali e qual è il loro posto nell'ingegneria del software. Introduce anche la logica come linguaggio per descrivere il ragionamento e l'algebra dei processi CSP come linguaggio per rappresentare i comportamenti. La seconda parte offre specifiche e metodi di test per lo sviluppo formale di software basati sui linguaggi di modellazione CASL e UML. La terza parte porta il lettore nei domini applicativi dei documenti normativi: le interfacce uomo-macchina e la sicurezza. L'uso di notazioni e formalismi è uniforme in tutto il libro. Argomenti e caratteristiche Spiega le basi e introduce i metodi di verifica e test delle specifiche Esplora vari domini applicativi Presenta esempi realistici e pratici che illustrano i concetti Riunisce i contributi di educatori e ricercatori di grande esperienza Offre metodi di modellazione e analisi per lo sviluppo formale di software Adatto a corsi di laurea e corsi di laurea in ingegneria del software, questo libro di testo unico e pratico Essere anche di valore per gli studenti di informatica, così come per gli scienziati e gli ingegneri pratici che vogliono conoscere o lavorare in modo più efficace con teorie e metodi formali. Markus Roggenbachampnbspis professore presso il Dipartimento di Informatica dell'Università di Swansea.ampnbspAntonio Ceroneampnbspè professore associato presso il Dipartimento di Informatica dell'Università Nazarbayev NurSultan.ampnbspBerndHolger Schlingloffampnbspè professore presso l'Institut fr Informatik of HumboldtUniversitt zu Berlin.ampnbspGerardo Schneiderampnbspis professore presso il Dipartimento di Informatica e Ingegneria dell'Università di Göteborg.ampnbspSiraj Ahmed Shaikhampnbspis a