product description page
Certifiable Software Applications : Upward Cycle (Hardcover) (Jean-louis Boulanger)
About this item
Certifiable Software Applications volume 4 aims to present the upward phase of the development of a software application cycle. We will present for the tests aspects each unit level, integration and validation and the associated environments. The checks will be explained through examples (checklist, scheduling policy, metric, ...). Finally, we will present the fault analysis process that must accompany the production of the final version of software plug.
- V and V (Validation and Verification)
- Static and Dynamic Verification
- Proof and Abstract Interpretation
Number of Pages: 300
Genre: Computers + Internet
Series Title: Certifiable Software Applications
Publisher: Elsevier Science Ltd
Author: Jean-louis Boulanger
Street Date: December 1, 2017
Item Number (DPCI): 248-44-0034
If the item details above aren’t accurate or complete, we want to know about it. Report incorrect product info.