Modeling and Verification Using UML Statecharts
eBook - PDF

Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Doron Drusinsky

  1. 400 pages
  2. English
  3. PDF
  4. Disponible sur iOS et Android
eBook - PDF

Modeling and Verification Using UML Statecharts

A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Doron Drusinsky

DĂ©tails du livre
Table des matiĂšres
Citations

À propos de ce livre

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

Foire aux questions

Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier l’abonnement ». C’est aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via l’application. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă  la bibliothĂšque et Ă  toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode d’abonnement : avec l’abonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă  12 mois d’abonnement mensuel.
Qu’est-ce que Perlego ?
Nous sommes un service d’abonnement Ă  des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă  toute une bibliothĂšque pour un prix infĂ©rieur Ă  celui d’un seul livre par mois. Avec plus d’un million de livres sur plus de 1 000 sujets, nous avons ce qu’il vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l’écouter. L’outil Écouter lit le texte Ă  haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l’accĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Modeling and Verification Using UML Statecharts est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă  Modeling and Verification Using UML Statecharts par Doron Drusinsky en format PDF et/ou ePUB ainsi qu’à d’autres livres populaires dans Mathematics et Mathematics General. Nous disposons de plus d’un million d’ouvrages Ă  dĂ©couvrir dans notre catalogue.

Informations

Éditeur
Newnes
Année
2011
ISBN
9780080481470
Sujet
Mathematics
Sous-sujet
Mathematics General

Table des matiĂšres

  1. Front matter
  2. Dedication
  3. Contents
  4. Preface
  5. Acknowledgments
  6. What’s on the CD-ROM?
  7. Chapter 1: Formal Requirements and Finite Automata Overview
  8. Chapter 2: Statecharts
  9. Chapter 3: Academic Specification Languages for Reactive Systems
  10. Chapter 4: Using Statechart Assertions for Formal Specification
  11. Chapter 5: Creating and Using Temporal Statechart Assertions
  12. Chapter 6: Application of Formal Specifications and Runtime Monitoring to the Ballistic Missile Defense Project
  13. Appendix: TLCharts: Syntax and Semantics
  14. Notes
  15. About the Author
  16. Index
Normes de citation pour Modeling and Verification Using UML Statecharts

APA 6 Citation

Drusinsky, D. (2011). Modeling and Verification Using UML Statecharts ([edition unavailable]). Elsevier Science. Retrieved from https://www.perlego.com/book/1900358/modeling-and-verification-using-uml-statecharts-a-working-guide-to-reactive-system-design-runtime-monitoring-and-executionbased-model-checking-pdf (Original work published 2011)

Chicago Citation

Drusinsky, Doron. (2011) 2011. Modeling and Verification Using UML Statecharts. [Edition unavailable]. Elsevier Science. https://www.perlego.com/book/1900358/modeling-and-verification-using-uml-statecharts-a-working-guide-to-reactive-system-design-runtime-monitoring-and-executionbased-model-checking-pdf.

Harvard Citation

Drusinsky, D. (2011) Modeling and Verification Using UML Statecharts. [edition unavailable]. Elsevier Science. Available at: https://www.perlego.com/book/1900358/modeling-and-verification-using-uml-statecharts-a-working-guide-to-reactive-system-design-runtime-monitoring-and-executionbased-model-checking-pdf (Accessed: 15 October 2022).

MLA 7 Citation

Drusinsky, Doron. Modeling and Verification Using UML Statecharts. [edition unavailable]. Elsevier Science, 2011. Web. 15 Oct. 2022.