Catálogo de publicaciones - libros

Compartir en
redes sociales

Mathematical Approaches to Software Quality

Gerard O'Regan

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Software Engineering/Programming and Operating Systems; Software Engineering; Mathematics of Computing; Discrete Mathematics in Computer Science

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2006	SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-1-84628-242-3

ISBN electrónico

978-1-84628-435-9

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

2006

Información sobre derechos de publicación

Cobertura temática

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1007/1-84628-435-9_1

Introduction

Gerard O'Regan

Pp. 1-32

doi: 10.1007/1-84628-435-9_2

Software Engineering Mathematics

Gerard O'Regan

Pp. 33-52

doi: 10.1007/1-84628-435-9_3

Logic for Software Engineering

Gerard O'Regan

Pp. 53-74

doi: 10.1007/1-84628-435-9_4

Z Specification Language

Gerard O'Regan

Pp. 75-91

doi: 10.1007/1-84628-435-9_5

Vienna Development Method

Gerard O'Regan

Pp. 92-108

doi: 10.1007/1-84628-435-9_6

Irish School of VDM

Gerard O'Regan

Pp. 109-125

doi: 10.1007/1-84628-435-9_7

Dijkstra and Hoare

Gerard O'Regan

Pp. 126-142

doi: 10.1007/1-84628-435-9_8

The Parnas Way

Gerard O'Regan

Pp. 143-175

doi: 10.1007/1-84628-435-9_9

Cleanroom and Software Reliability

Gerard O'Regan

Pp. 176-196

doi: 10.1007/1-84628-435-9_10

Unified Modeling Language

Gerard O'Regan

Pp. 197-210