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

Angebote / Angebote:

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 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 world's 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, you'll be able to get up to speed quickly and utilize the UML for making your software more trustworthy.