The Correctness-by-Construction Approach to Programming

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Kourie, Derrick G. (Autor), Watson, Bruce W. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Temas:
Software engineering.
Computer science.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Background
  • Simple Examples
  • Intermediary Examples
  • Procedures and Recursion
  • Case Study: Lattice Cover Graph Construction
  • Case Study 2: Classifying MADFA Construction Algorithms.

Ejemplares similares