The Correctness-by-Construction Approach to Programming

• Κύριοι συγγραφείς: Kourie, Derrick G. (Συγγραφέας), Watson, Bruce W. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Θέματα: Computer science.; Software engineering.; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any meas...

Πίνακας περιεχομένων:

• Introduction
• Background
• Simple Examples
• Intermediary Examples
• Procedures and Recursion
• Case Study: Lattice Cover Graph Construction
• Case Study 2: Classifying MADFA Construction Algorithms.