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 pagine
  2. English
  3. PDF
  4. Disponibile su iOS e 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

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

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

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Modeling and Verification Using UML Statecharts è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Modeling and Verification Using UML Statecharts di Doron Drusinsky in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Mathematics e Mathematics General. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
Newnes
Anno
2011
ISBN
9780080481470
Argomento
Mathematics
Categoria
Mathematics General

Indice dei contenuti

  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
Stili delle citazioni per 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.