Modeling and Verification Using UML Statecharts /
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 fo...
| Main Author: | Drusinsky, Doron (Author) |
|---|---|
| Corporate Author: | Safari, an O'Reilly Media Company |
| Format: | eBook |
| Language: | English |
| Published: |
Newnes,
2011.
|
| Edition: | 1st edition. |
| Subjects: | |
| Online Access: | Connect to this electronic resource |
Similar Items
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)
by: Drusinsky, Doron
Published: (2006)
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)
by: Drusinsky, Doron
Published: (2006)
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)
by: Drusinsky, Doron
Published: (2006)
Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
by: Samek, Miro
Published: (2009)
by: Samek, Miro
Published: (2009)
Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
by: Samek, Miro
Published: (2009)
by: Samek, Miro
Published: (2009)
Practical UML Statecharts in C/C++, 2nd Edition /
by: Samek, Miro
Published: (2008)
by: Samek, Miro
Published: (2008)
Modeling reactive systems with statecharts : the statemate approach /
by: Harel, David, 1950-
Published: (1998)
by: Harel, David, 1950-
Published: (1998)
Constructing the user interface with statecharts /
by: Horrocks, Ian, 1971-
Published: (1999)
by: Horrocks, Ian, 1971-
Published: (1999)
Verification and validation for quality of UML 2.0 models /
by: Unhelkar, Bhuvan
Published: (2005)
by: Unhelkar, Bhuvan
Published: (2005)
Verification and validation for quality of UML 2.0 models /
by: Unhelkar, Bhuvan
Published: (2005)
by: Unhelkar, Bhuvan
Published: (2005)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers /
by: Przigoda, Nils, et al.
Published: (2018)
by: Przigoda, Nils, et al.
Published: (2018)
Using UML : software engineering with objects and components /
by: Stevens, Perdita
Published: (2006)
by: Stevens, Perdita
Published: (2006)
Use case driven object modeling with UML : theory and practice /
by: Rosenberg, Doug
Published: (2007)
by: Rosenberg, Doug
Published: (2007)
Use case driven object modeling with UML : theory and practice /
by: Rosenberg, Doug
Published: (2007)
by: Rosenberg, Doug
Published: (2007)
Topological UML modeling : an improved approach for domain modeling and software development /
by: Osis, Janis, 1929-, et al.
Published: (2017)
by: Osis, Janis, 1929-, et al.
Published: (2017)
Topological UML modeling : an improved approach for domain modeling and software development /
by: Osis, Janis, 1929-, et al.
Published: (2017)
by: Osis, Janis, 1929-, et al.
Published: (2017)
Agile model-based development using UML-RSDS /
by: Lano, K.
Published: (2017)
by: Lano, K.
Published: (2017)
Object-oriented modeling and design with UML /
by: Blaha, Michael
Published: (2005)
by: Blaha, Michael
Published: (2005)
Model-driven development with executable UML /
by: Milicev, Dragan
Published: (2009)
by: Milicev, Dragan
Published: (2009)
UML 2000 - The Unified Modeling Language.
Published: (2000)
Published: (2000)
Executable UML : how to build class models /
by: Starr, Leon
Published: (2002)
by: Starr, Leon
Published: (2002)
UML modeling languages and applications : <<UML>> 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers /
Published: (2005)
Published: (2005)
UML modeling languages and applications : <<UML>> 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers /
Published: (2005)
Published: (2005)
UML demystified /
by: Kimmel, Paul
Published: (2005)
by: Kimmel, Paul
Published: (2005)
UML by example /
by: Jalloul, Ghinwa
Published: (2004)
by: Jalloul, Ghinwa
Published: (2004)
UML explained /
by: Scott, Kendall, 1960-
Published: (2001)
by: Scott, Kendall, 1960-
Published: (2001)
UML Fundamentals /
by: Bennett, Simon
Published: (2015)
by: Bennett, Simon
Published: (2015)
UML™ Bible /
by: Pender, Tom
Published: (2003)
by: Pender, Tom
Published: (2003)
UML distilled : applying the standard object modeling language /
by: Fowler, Martin, 1963-
Published: (1997)
by: Fowler, Martin, 1963-
Published: (1997)
Executable UML : a foundation for model-driven architecture /
by: Mellor, Stephen J.
Published: (2002)
by: Mellor, Stephen J.
Published: (2002)
Executable UML : A Foundation for Model-Driven Architecture /
by: Mellor, Stephen, et al.
Published: (2002)
by: Mellor, Stephen, et al.
Published: (2002)
Verification by error modeling : using testing techniques in hardware verification /
by: Radecka, Katarzyna
Published: (2003)
by: Radecka, Katarzyna
Published: (2003)
Model-driven software development with UML and Java /
by: Lano, K.
Published: (2009)
by: Lano, K.
Published: (2009)
Applying UML : advanced application /
by: Pooley, R. J.
Published: (2004)
by: Pooley, R. J.
Published: (2004)
Applying UML : advanced application /
by: Pooley, R. J.
Published: (2004)
by: Pooley, R. J.
Published: (2004)
UML distilled : a brief guide to the standard object modeling language /
by: Fowler, Martin, 1963-
Published: (2000)
by: Fowler, Martin, 1963-
Published: (2000)
UML distilled : a brief guide to the standard object modeling language /
by: Fowler, Martin, 1963-
Published: (2004)
by: Fowler, Martin, 1963-
Published: (2004)
Real time UML : advances in the UML for real-time systems /
by: Douglass, Bruce Powel
Published: (2004)
by: Douglass, Bruce Powel
Published: (2004)
UML applied : a .NET perspective /
by: Shoemaker, Martin L.
Published: (2004)
by: Shoemaker, Martin L.
Published: (2004)
UML applied : a .NET perspective /
by: Shoemaker, Martin L.
Published: (2004)
by: Shoemaker, Martin L.
Published: (2004)