Mathematical Approaches to Software Quality

The now customary expectation for high-quality software products places an immense demand on industries and organizations to fulfill this need and to consistently produce quality software. Mathematical Approaches to Software Quality provides a comprehensive introduction to various mathematical metho...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: O'Regan, Gerard (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Software engineering.
Computer science-Mathematics.
Discrete mathematics.
Software Engineering.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Software Engineering Mathematics
  • Logic for Software Engineering
  • Z Specification Language
  • Vienna Development Method
  • Irish School of VDM
  • Dijkstra and Hoare
  • The Parnas Way
  • Cleanroom and Software Reliability
  • Unified Modeling Language
  • Technology Transfer
  • Glossary.

Ejemplares similares