Software Verification and Validation: An Engineering and Scientific Approach

Fisher, Marcus S.

ISBN 10: 0387327258 / ISBN 13: 9780387327259

Published by Springer, New York, 2007

About this Item

Glossy boards, blue with yellow titles. 1st edition, 2007. Light shelf wear, corners sharp. Firmly bound, tight and square. Lightly read. Crisp, bright, unmarked pages. Like New condition.

Seller Inventory # 009043

Bibliographic Details

• Title: Software Verification and Validation: An Engineering and Scientific Approach
• Publisher: Springer, New York
• Publication Date: 2007
• Language: English
• ISBN 10: 0387327258
• ISBN 13: 9780387327259
• Binding: Hardcover
• Edition: 1st Edition
• Condition: As New
• Dust Jacket Condition: No Jacket

About this title

Synopsis

The World is lacking an in-depth technical book describing the meth­ ods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in to­ day's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation. Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth tech­ nical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry.

From the Back Cover

The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques that provide such confidence are commonly called software verification and validation.

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as:

1) Are we building the right software for the need?

2) Are we building the software right?

Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. This book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.