|
|
|
Item Details
Title:
|
ENGINEERING QUALITY SOFTWARE
A REVIEW OF CURRENT PRACTICES, STANDARDS AND GUIDELINES INCLUDING NEW METHODS AND DEVELOPMENT TOOLS |
By: |
D. J. Smith, K. B. Wood |
Format: |
Paperback |
List price:
|
£109.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
9401069964 |
ISBN 13: |
9789401069960 |
Publisher: |
SPRINGER |
Pub. date: |
4 October, 2011 |
Edition: |
2nd ed. 1989. Softcover reprint of the original 2nd ed. 1989 |
Pages: |
284 |
Synopsis: |
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. |
Illustrations: |
biography |
Publication: |
Netherlands |
Imprint: |
Springer |
Returns: |
Returnable |
|
|
|
|
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|