As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice. A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically) Includes an unclassified case study example from the U.S. Missile Defense project
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.
As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice. A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically) Includes an unclassified case study example from the U.S. Missile Defense project
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.