Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software Doron Drusinsky

ISBN: 9781457504945

Published: August 1st 2011

Paperback

156 pages


Description

Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software  by  Doron Drusinsky

Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software by Doron Drusinsky
August 1st 2011 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, RTF | 156 pages | ISBN: 9781457504945 | 5.22 Mb

This book uses practical mission critical examples to teach readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specificationMoreThis book uses practical mission critical examples to teach readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and to apply the resulting computer understandable specification language toward computer-aided verification.

As modern systems become more complex and pervasive, developers and customers are increasingly dependent on software-based systems that control many aspects of our lives. Developers and managers are increasingly worried whether their software would work as specified- customers are also concerned whether developers have built the software in a way that conforms with the customers requirements.

This book teaches readers how to use the UML as a visual, accurate, and computer understandable specification language. It then teaches readers how to use computer-aided tools to prune out specification ambiguities and to apply the resulting computer-understandable specification language toward computer-aided verification.

Doron Drusinsky, PhD, a professor at the Naval Postgraduate School (NPS), in Monterey, California, and one of the worlds foremost authorities on UML statecharts, runtime verification, and execution-based model checking, provides this important information using real-life examples of mission-critical systems, including an in-depth requirement analysis example, written with Steven Raque of the NASA IV&V Facility, and two in-depth application examples, written with Konstantin Belyin of the Naval Air Warfare Center, and Miriam Alves, of the Brazilian Institute of Aeronautics and Space (co-authored with Professors Man-tak Shing and Bret Michael, of NPS) By following the guidelines provided in this book, youll be able to get up to speed quickly and utilize the UML for making your software more trustworthy.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Practical UML-Based Specification, Validation, and Verification of Mission-Critical Software":


azhypoteky.eu

©2012-2015 | DMCA | Contact us