Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking - Rilegato
Sinossi
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
·Accompanying Companion website includes source code and re-useable statechart templates
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Modeling And Verification Using UML Statecharts: A...
Immagini fornite dal venditore
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Da: Bay State Book Company, North Smithfield, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. Codice articolo BSM.VWWQ
Compra usato
EUR 17,08
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Da: GoldBooks, Denver, CO, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: new. Codice articolo 18J80_47_0750679492
Compra nuovo
EUR 44,59
EUR 3,62 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
UML STATECHARTS RUN-TIME VERIFIC
Print on DemandDa: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 5 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo 0088aa16630dece43b4ab65759585fe2
Compra nuovo
EUR 61,67
EUR 6,80 shipping
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Modeling and Verification Using Uml Statecharts
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 306 Illus. Codice articolo 8060279
Compra nuovo
EUR 71,20
EUR 7,41 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Modeling and Verification Using Uml Statecharts
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 306. Codice articolo 26869032
Compra nuovo
EUR 80,92
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Modeling And Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring And Execution-Based Model Checking
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 1st edition. 306 pages. 9.00x6.00x0.75 inches. In Stock. Codice articolo __0750679492
Compra nuovo
EUR 71,35
EUR 14,26 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Modeling and Verification Using UML Statecharts
Editore:
Elsevier Science & Technology, Newnes, 2006
ISBN 10: 0750679492
ISBN 13: 9780750679497
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Codice articolo 9780750679497
Compra nuovo
EUR 64,95
EUR 23,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Modeling and Verification Using Uml Statecharts
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xii + 306. Codice articolo 18869026
Compra nuovo
EUR 82,37
EUR 9,95 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Da: BennettBooksLtd, San Diego, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0750679492
Compra nuovo
EUR 102,66
EUR 5,92 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Modeling and Verification Using UML Statecharts : A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Codice articolo 9780750679497
Compra nuovo
EUR 75,05
EUR 63,27 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili