Certifiable Software Applications 4
  • Release Date : 01 December 2017
  • Publisher : Iste Press - Elsevier
  • Categories : Computers
  • Pages : 300 pages
  • ISBN 13 : 1785481207
  • ISBN 10 : 9781785481208
Score: 4
From 245 Ratings
CLICK HERE TO GET BOOK

Synopsis : Certifiable Software Applications 4 written by Jean-Louis Boulanger, published by Iste Press - Elsevier which was released on 01 December 2017. Download Certifiable Software Applications 4 Books now! Available in PDF, EPUB, Mobi Format. 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

Formal Methods

Formal Methods

Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
Category : Technology & Engineering
GET BOOK
Paper

Paper

Author : N.A
Publisher :
Category : Mechanical engineering
GET BOOK