Verification, Validation and Testing in Software Engineering - Image 1

£84.44

IGI Global Verification, Validation and Testing in Software Engineering

Name: Verification, Validation and Testing in Software Engineering
Brand: IGI Global
Price: 84.44 GBP
Availability: InStock

Functional Programming

Price History & Forecast

Last 17 days • 17 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 17 days • 1 price levels

Days at Price

Price Analysis

Most common price: £84 (17 days, 100.0%)

Price range: £84 - £84

Price levels: 1 different prices over 17 days

Description

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques of software engineering, and so the static verification - traditional in formal methods - has been joined by model checking and other techniques. ""Verification, Validation and Testing in Software Engineering"" offers thorough coverage of many valuable formal and semiformal techniques of V&V. It explores, depicts, and provides examples of different applications in V&V that produce many areas of software development - including real-time applications - where V&V techniques are required.

Key Features

Used Book In Good Condition

Product Specifications

Brand: IGI Global
Format: Hardcover
ASIN: 1591408512
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 31 July 2006
Listed Since: 02 February 2007

Barcode

No barcode data available

IGI Global Verification, Validation and Testing in Software Engineering

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Software Verification and Validation for Practitioners and Managers

Wiley Independent Verification and Validation Software Book

Guide to Software Verification and Validation: A (Computer Science Library)

Systems and Software Verification: Model-Checking Techniques and Tools

Software Error Detection through Testing and Analysis

Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement (IEEE Press)

Verification, Validation, and Testing of Engineered Systems (Wiley Series in Systems Engineering and Management)

Modern Software Review: Techniques and Technologies

Software Engineering for Agile Application Development

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... (Lecture Notes in Computer Science, 4171)

Progressions and Innovations in Model-Driven Software Engineering (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

Code Generation, Analysis Tools, and Testing for Quality (Advances in Computer and Electrical Engineering (ACEE))

Software Engineering for Secure Systems: Industrial and Research Perspectives (Premier Reference Source)

Verification And Validation A Complete Guide - 2021 Edition

Software Testing and Quality Assurance: Theory and Practice

Essential Software Testing: A Use-Case Approach

Successful Software Reengineering

IGI Global - Integrating IoT Into Software Engineering Practices

Software Quality Assurance: In Large Scale and Complex Software-intensive Systems

Integrating the Internet of Things Into Software Engineering Practices

System Verification: Proving the Design Solution Satisfies the Requirements

Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)

Software Engineering