.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Software Verification and Analysis
Laski, Janusz; Stanley, William
€ 71.59
FREE Delivery in Ireland
Description for Software Verification and Analysis
hardcover. This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. Num Pages: 234 pages, 62 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 242 x 164 x 21. Weight in Grams: 510.
“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the ... Read more
“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the ... Read more
Product Details
Format
Hardback
Publication date
2009
Publisher
Springer London Ltd United Kingdom
Number of pages
234
Condition
New
Number of Pages
234
Place of Publication
England, United Kingdom
ISBN
9781848822399
SKU
V9781848822399
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Software Verification and Analysis
From the reviews: "Software verification is a set of important activities in the software development process that leads to determining whether the software product fulfills requirements. … It could also be very useful to software engineering researchers and practitioners. The quality of the book is enhanced by the wide range of examples that illustrate various problems and ... Read more