Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools - Couverture souple

Smith, D.J.; Wood, K.B.

9789401069960: Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

Couverture souple

ISBN 10 : 9401069964 ISBN 13 : 9789401069960

Editeur : Springer, 2011

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 168,20

7 Neuf

De EUR 85,55

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

� propos de l?auteur

David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecommunications industries, for over 20 years and is well known for his courses and workshops on these subjects. He currently runs his own consultancy.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2011
ISBN 10 9401069964
ISBN 13 9789401069960
ReliureBroch�
Langueanglais
Nombre de pages304
Coordonn�es du fabricantnon disponible

Acheter D'occasion

�tat : Comme neuf

Like New

Afficher cet article

EUR 168,20

Autre devise

EUR 29,80 exp�dition depuis Royaume-Uni vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 85,55

Autre devise

EUR 11 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9781851660742: Engineering Quality Software

Edition pr�sent�e

ISBN 10 : 1851660747 ISBN 13 : 9781851660742
Editeur : Elsevier Applied Science, 1987
Couverture rigide

Kluwer Academic P..., 1989 (Couverture rigide)

R�sultats de recherche pour Engineering Quality Software: A Review of Current Practices,...

Image fournie par le vendeur

Engineering Quality Software

K. B. Wood

Edit� par Springer Netherlands Okt 2011, 2011

ISBN 10 : 9401069964 ISBN 13 : 9789401069960

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 304 pp. Englisch. N� de r�f. du vendeur 9789401069960

Contacter le vendeur

Acheter neuf

EUR 85,55

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Engineering Quality Software

K. B. Wood

Edit� par Springer Netherlands, Springer Netherlands Okt 2011, 2011

ISBN 10 : 9401069964 ISBN 13 : 9789401069960

Neuf Taschenbuch Edition originale

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch. N� de r�f. du vendeur 9789401069960

Contacter le vendeur

Acheter neuf

EUR 85,55

Autre devise

Frais de port : EUR 15

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Engineering Quality Software

D.J. Smith|K.B. Wood

Edit� par Springer Netherlands, 2011

ISBN 10 : 9401069964 ISBN 13 : 9789401069960

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. David J. Smith, past Chairman of the Safety and Reliability Society is the author of six successful works on reliability, quality, software and statistics. He has been directly associated with this branch of engineering, in the process and telecomm. N� de r�f. du vendeur 5833606

Contacter le vendeur

Acheter neuf

EUR 93

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Engineering Quality Software : A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

K. B. Wood

Edit� par Springer Netherlands, 2011

ISBN 10 : 9401069964 ISBN 13 : 9789401069960

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de r�f. du vendeur 9789401069960

Contacter le vendeur