Limited Offer
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code needed.
Certifiable Software Applications 4
Upward Cycle
- 1st Edition - December 1, 2019
- Author: Jean-Louis Boulanger
- Language: English
- Hardback ISBN:9 7 8 - 1 - 7 8 5 4 8 - 1 2 0 - 8
- eBook ISBN:9 7 8 - 0 - 0 8 - 1 0 1 1 6 2 - 1
Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integ… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteCertifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integration and validation of associated environments. Each check is explained through examples (checklist, scheduling policy, metric, etc.), and the book examines the fault analysis process that must accompany the production of the final version of the software plug.
- Presents the upward phase of development of a software application cycle
- Examines the fault analysis process that must accompany production of the final version of the software plug
- Provides tactics on V and V (Validation and Verification), Static and Dynamic Verification Proof and Abstract Interpretation
Researchers, scientists, post-graduate students
- No. of pages: 250
- Language: English
- Edition: 1
- Published: December 1, 2019
- Imprint: ISTE Press - Elsevier
- Hardback ISBN: 9781785481208
- eBook ISBN: 9780081011621
JB
Jean-Louis Boulanger
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.
Affiliations and expertise
Independent Safety Assessor (ISA) in the railway domain focusing on software elements