0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems

Not currently available

Verification and Validation of Real-Time Software (Hardcover) Loot Price: R1,492
Discovery Miles 14 920
You Save: R140 (9%)
Verification and Validation of Real-Time Software (Hardcover): William J. Quirk
Verification and Validation of Real-Time Software (Hardcover): William J. Quirk

Share your images

Verification and Validation of Real-Time Software (Hardcover)

William J. Quirk

 (sign in to rate)
List price R1,632 Loot Price R1,492 Discovery Miles 14 920 | Repayment Terms: R139 pm x 12* You Save R140 (9%)

Bookmark and Share

Supplier out of stock. If you add it to your wishlist we will send you an email should it become available again.

W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may range from being inconvenient to disastrous in both economic and human terms. As a result, there is much pressure to develop and apply techniques to improve the reliability of real-time software so that the frequency and consequences of failure are reduced to a level that is as low as reasonably achievable. This report is about such techniques. After a detailed description of the software life cycle, a chapter is devoted to each of the four principle categories of technique available at present. These cover all stages of the software development process and each chapter identifies relevant techniques, the stages to which they are applicable and their effectiveness in improving real-time software reliability. 1.2 The characteristics of real-time software As well as the enhanced reliability requirement discussed above, real-time software has a number of other distinguishing characteristics. First, the sequencing and timing of inputs are determined by the real world and not by the programmer. Thus the program needs to be prepared for the unexpected and the demands made on the system may be conflicting. Second, the demands on the system may occur in parallel rather than in sequence.

General

Imprint: Springer-Verlag
Country of origin: Germany
Release date: March 1985
First published: 1985
Editors: William J. Quirk
Format: Hardcover - Cloth over boards
Pages: 258
ISBN-13: 978-3-540-15102-9
Barcode: 9783540151029
Categories: Promotions
Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
Books > Computing & IT > Computer programming > Software engineering
LSN: 3-540-15102-8

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners