Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking Год выпуска: 2006Автор: Doron DrusinskyИздательство: Страниц: 400ISBN: 0750679492Описание 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. ...
Похожие книги
Constance S. Hawke, Constance S. Hawke. Computer and Internet Use on Campus: A Legal Guide to Issues of Intellectual Property, Free Speech, and Privacy. – М.: , 0. – 0 с. Anne Boe, Bettie B. Youngs. Is Your ``Net'' Working?: A Complete Guide to Building Contacts and Career Visibility. – М.: , 0. – 0 с. Jane Arsenault. Forging Nonprofit Alliances : A Comprehensive Guide to Enhancing Your Mission Through Joint Ventures & Partnerships, Management Service Organizations, ... Bass Nonprofit and Public Management Series.). – М.: , 0. – 0 с. Robert W. Gallant. How to be a Manager: A Practical Guide to Tips and Techniques. – М.: , 0. – 0 с. Penny Davenport. A Practical Guide to Collateral Management in the OTC Derivatives Market (Finance and Capital Markets). – М.: Palgrave Macmillan, 2003. – 304 с. Congressional Research Service. A Reference Guide to Banking and Finance. – М.: , 0. – 0 с. John L. Person. A Complete Guide to Technical Trading Tactics : How to Profit Using Pivot Points, Candlesticks & Other Indicators (Wiley Trading). – М.: , 0. – 0 с. Ifip Tc8 & Tc9, Wg8.2 & Wg9.4 Working Conference on Information Systems, Ramiro Montealegre, Angeliki Poulymenakou. Organizational Information Systems in the Context of Globalization: Ifip Tc8 & Tc9/Wg8.2 & Wg9.4 Working Conference on Information Systems Perspective ... ion for Information Processing (Series), 126). – М.: , 0. – 0 с. Anita Cassidy. A Practical Guide to Information Systems Strategic Planning. – М.: Saint Lucie Press, 0. – 304 с. Thomas A. Jefferson. Marine Mammals of the World: A Comprehensive Guide to Their Identification. – М.: , 2010. – 592 с. Neil Cumming. Security: A Guide to Security System Design and Equipment Selection and Installation. – М.: , 2010. – 338 с. Michael J. A. Howe. A Teachers? Guide to the Psychology of Learning. – М.: , 1984. – 176 с. Michael A Steele. Terrestrial Vertebrates of Pennsylvania – A Complete Guide to Species of Conservation Concern. – М.: , 2011. – 576 с. Working Guide To Process Equipment. – М.: , 2011. – 591 с. Doron Drusinsky. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking. – М.: , 2006. – 400 с. BARLETT. A PRACTITIONERS GUIDE TO BUSINESS ANALYTICS: USING DATA ANALYSIS TOOLS TO IMPROVE YOUR ORGANIZATION'S DECISION MAKING AND STRATEGY. – М.: , 2013. – с. T. Bezboruah,K. C. Sarma and A. Goswami. Embedded system design based on 8051 and PIC family microcontroller. – М.: LAP Lambert Academic Publishing, 2011. – 100 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Настя, 02.03 Юля, большое вам спасибо! защита на отлично, на основании диплома нужно написать статью на научную конферецию. поможете? =)
