"Modeling and Verification Using UML Statecharts"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Modeling and Verification Using UML Statecharts	Doron Drusinsky	2006	Newnes
Verification by Error Modeling: Using Testing Techniques in Hardware Verification	Katarzyna Radecka; Zeljko Zilic	2003	Springer US
Topological UML Modeling	Janis Osis and Uldis Donins	2017	Elsevier
Database design for smarties: using UML for data modeling /	Muller, Robert J.	[1999], ©1999.	Morgan Kaufmann Publishers,
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers	Nils Przigoda; Robert Wille; Judith Przigoda; Rolf Drechsler	1st ed. 2018	Springer International Publishing
Open Modeling with UML	Bhuvan Unhelkar	January 15, 2000	Addison-Wesley Pub (Sd)
Modeling Reactive Systems With Statecharts: The Statemate Approach	David Harel, Michal Politi	1998	Mcgraw-Hill (Tx)
Enterprise Modeling and Computing With UML	Peter Rittgen, Peter Rittgen	2006	IGI Global
Enterprise Modeling and Computing with UML	Peter Rittgen	January 2007	IGI Global
Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems	Miro Samek	2008	Routledge
Practical uml statecharts in C/C++: event-driven programming for embedded systems /	Samek, Miro,		Taylor & Francis Group
Verification and Validation for Quality of UML 2. 0	Bhuvan Unhelkar BE, MDBA, MSc, PhD; FACS,	2005	John Wiley & Sons
Modeling with UML: Language, Concepts, Methods	Bernhard Rumpe	1st ed. 2016	Springer International Publishing
Object oriented analysis and design using UML	D Jeya Mala; S. Geetha	2013	McGraw Hill Education (India)
Visual modeling with Rational Rose 2000 and UML /	Quatrani, Terry.; Quatrani, Terry.	[2000], ©2000.	Addison-Wesley,
Logic design and verification using SystemVerilog /	Thomas, D. E.		CreateSpace
Embedded System Design: Modeling, Synthesis and Verification	Daniel D. Gajski; Samar Abdi; Andreas Gerstlauer; Gunar Schirner	2009	Springer US
Modeling and Verification of Real-time Systems	Nicolas Navet; Stephan Merz	2008	John Wiley & Sons
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models	Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh	2010	Springer Berlin Heidelberg
NOGAPS verification using spectral components	Peter A. Morse	1983	Naval Postgraduate School
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Modeling and Analysis of Exception Handling by Using UML Statecharts	Gergely Pintér; István Majzik	Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers	Nicolas Guelfi; Gianna Reggio; Alexander Romanovsky	2005	Springer Berlin Heidelberg
Formalization of UML-Statecharts	Michael von der Beeck	UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings	Martin Gogolla; Cris Kobryn	2001	Springer Berlin Heidelberg
Using UML Statecharts with Knowledge Logic Guards	Doron Drusinsky; Man-Tak Shing	Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings	Andy Schürr; Bran V. Selic	2009	Springer Berlin Heidelberg
Formal Verification of UML Statecharts with Real-Time Extensions	Alexandre David; M. Oliver Möller; Wang Yi	Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings	Ralf-Detlef Kutsche; Herbert Weber	2002	Springer Berlin Heidelberg
Ontology Modeling Using UML	Xin Wang; Christine W. Chan	OOIS 2001: 7th International Conference on Object-Oriented Information Systems 27 – 29 August 2001, Calgary, Canada	Xingxu Wang; Shushma Patel; Ronald Johnston	2001	Springer London
Process Modeling using UML	Gregor Engels; Alexander Förster; Reiko Heckel; Sebastian Thöne	Process-Aware Information Systems: Bridging People and Software Through Process Technology	Marlon Dumas	2005	John Wiley & Sons
Interactive Verification of Statecharts	Andreas Thums; Gerhard Schellhorn; Frank Ortmeier; Wolfgang Reif	Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report	Hartmut Ehrig; Werner Damm; Jörg Desel; Martin Große-Rhode; Wolfgang Reif; Eckehard Schnieder; Engelbert Westkämper	2004	Springer Berlin Heidelberg
Mobile UML Statecharts with Localities	Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing	Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers	Corrado Priami; Paola Quaglia	2005	Springer Berlin Heidelberg
Mobile UML Statecharts with Localiti		Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers	Paolo Baldan, Andrea Bracciali, Roberto Bruni (auth.), Corrado Priami, Paola Quaglia (eds.)	2005	Springer-Verlag Berlin Heidelberg
XML Conceptual Modeling Using UML	Rainer Conrad; Dieter Scheffner; J. Christoph Freytag	Conceptual Modeling - ER 2000: 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings	Alberto H.F. Laender; Stephen W. Liddle; Veda Storey	2000	Springer Berlin Heidelberg
UML Modeling	Harshad Oak	Oracle JDeveloper 10g: Empowering J2EE Development	Harshad Oak	1st ed.	Apress
UML Modeling		Developing Chemical Information Systems: An Object-Oriented Approach Using Enterprise Java	Fan Li	2006	John Wiley & Sons
From UML Statecharts to LOTOS Expressions Using Graph Transformation	Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui	Information and Software Technologies: 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings	Giedre Dregvaite; Robertas Damasevicius	1st ed. 2015	Springer International Publishing
Formal Verification of Statemate-Statecharts	Kay Fuhrmann; Jan Hiemer	Tool Support for System Specification, Development and Verification	Rudolf Berghammer; Yassine Lakhnech	1999	Springer Vienna
Compositional Verification of Timed Statecharts	Francesca Levi	Advances in Temporal Logic	Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough	2000	Springer Netherlands
A Probabilistic Extension of UML Statecharts	David N. Jansen; Holger Hermanns; Joost-Pieter Katoen	Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings	Werner Damm; Ernst-Rüdiger Olderog	2002	Springer Berlin Heidelberg
Test Case Generation for UML Statecharts	Dirk Seifert; Steffen Helke; Thomas Santen	Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers	Manfred Broy; Alexandre V. Zamulin	2003	Springer Berlin Heidelberg
Requirements-Level Semantics for UML Statecharts	Rik Eshuis; Roel Wieringa	Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA	Scott F. Smith; Carolyn L. Talcott	2000	Springer US
System-on-Chip Verification Process Using UML	Qiang Zhu; Tsuneo Nakata; Masataka Mine; Kenichiro Kuroki; Yoichi Endo; Takashi Hasegawa	UML Modeling Languages and Applications: < < UML> > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers	Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Ambrosio Toval Alvarez	2005	Springer Berlin Heidelberg
Consistent Modeling Using Multiple UML Profiles	Florian Noyrit; Sébastien Gérard; François Terrier; Bran Selic	Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I	Dorina C. Petriu; Nicolas Rouquette; Oystein Haugen	2010	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Modeling and Verification Using UML Statecharts" - similar Books and Chapters