Carte Engineering Quality Software D.J. Smith

Engineering Quality Software

A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools

Limbă: engleză
Legare: Carte broșată
Editura: Springer
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
551.94 lei
During the 18 months since the publication of the 1st edition the practice of software quality and t...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2011
Pagini
284
EAN
9789401069960
ISBN
9401069964
Enbook ID
02191084
Editura
Greutate
394
Dimensiuni
143 x 216 x 17

Descriere completă

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.

S-ar putea să te intereseze

Bald Facts

Pat Symes
135.08 lei

Quilt It?

Barbara Chainey
83.83 lei
63.05 lei
1 102.18 lei
168.88 lei

Clienții care au cumpărat această carte au mai cumpărat și

253.32 lei