Name: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools (en Inglés)
Price: 502.54 PEN
Availability: InStock
Author: Smith, D. J. ; Wood, K. B.
ISBN: 9789401069960

portada Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools (en Inglés)

Formato

Libro Físico

Autor

D. J. Smith

K. B. Wood

Editorial

Springer

Idioma

Inglés

N° páginas

284

Encuadernación

Tapa Blanda

Dimensiones

21.6 x 14.0 x 1.6 cm

Peso

0.35 kg.

ISBN13

9789401069960

N° edición

0002

Categorías

Ingeniería eléctrica

Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools (en Inglés)

D. J. Smith (Autor) · K. B. Wood (Autor) · Springer · Tapa Blanda

Libro Nuevo

S/ 502,54

S/ 1.005,07

Ahorras: S/ 502,54

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 22 de Julio y el Lunes 05 de Agosto.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Engineering Quality Software: A Review of Current Practices, Standards and Guidelines Including New Methods and Development Tools (en Inglés)"

During the 18 months since the publication of the 1st edition the practice of software quality and the availability of tools and guidance for its implementation has increased dramatically. The emphasis on the need for formal methods has increased and calls for certification of safety critical software are now common. In particular this 2nd edition: -Expands the treatment of static analysis and includes a com- prehensive but simple example in order to illustrate clearly the functions of each analyser in Chapter 8. -Describes formal requirements languages more fully in Chapter 6. -Updates the compendium of available guidelines and standards in Chapter 5. -Expands the description of the many high level languages in Chapter 9. -Improves and expands the exercise into a 49 page case study consisting of a documentation hierarchy for a safety system in Chapter 14. It is seeded with deliberate errors and ambiguities and now includes guidance in finding them.