Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /

UML for the IT business analyst a practical guide to object-oriented requirements gathering /
由: Podeswa, Howard
出版: (2009)

Domain architectures models and architectures for UML applications /
由: Duffy, Daniel J.
出版: (2004)

Patterns model-driven development using IBM Rational Software Architect /
由: Swithinbank, Peter
出版: (2005)

Object-oriented design with UML and Java
由: Barclay, Kenneth A., 1947-
出版: (2004)

Object-oriented systems analysis and design using UML /
由: Bennett, Simon
出版: (2006)

Software specification methods
出版: (2006)

Formal software development from VDM to Java /
由: Charatan, Quentin
出版: (2004)

UML 2 certification guide
由: Weilkiens, Tim
出版: (2006)

Embedded systems analysis and modeling with SysML, UML and AADL /
出版: (2013)

Cognitive modeling and verbal semantics a representational framework based on UML /
由: Schalley, Andrea C., 1972-
出版: (2004)

Verification techniques for system-level design
由: Fujita, Masahiro, 1956-
出版: (2008)

Formal methods applied to complex systems : implementation of the B method /
出版: (2014)

Teamwork in multi-agent systems a formal approach /
由: Dunin-Kȩplicz, Barbara
出版: (2010)

Formal method industrial use from model to the code /
出版: (2012)

Object-oriented and classical software engineering /
由: Schach, Stephen R.
出版: (2005)

Computers in language research
出版: (1983)

Communicating embedded systems software and design : formal methods /
出版: (2010)

UML for the IT business analyst a practical guide to object-oriented requirements gathering /
由: Podeswa, Howard
出版: (2005)

Formal models, languages and applications
出版: (2006)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
出版: (2001)

Principles of model checking
由: Baier, Christel
出版: (2008)

Real time UML workshop for embedded systems
由: Douglass, Bruce Powel
出版: (2007)

Scientific applications of language methods
出版: (2011)

Formalizing natural languages : the NooJ approach /
由: Silberztein, Max
出版: (2016)

Multicore hardware-software design and verification techniques
出版: (2011)

Principles of cyber-physical systems /
由: Alur, Rajeev, 1966-
出版: (2015)

Two-step approaches to natural language formalisms
由: Morawietz, Frank, 1968-
出版: (2003)

Contributions to the Science of Text and Language Word Length Studies and Related Issues /
由: Grzybek, Peter
出版: (2006)

Grammars for Language and Genes Theoretical and Empirical Investigations /
由: Chiang, David
出版: (2012)

Finite Difference Computing with Exponential Decay Models
由: Langtangen, Hans Petter
出版: (2016)

IBM Express Runtime V2.1
由: Nartovich, Aleksandr
出版: (2005)

Practical model-based testing a tools approach /
由: Utting, Mark
出版: (2006)

Using SPSS : an interactive hands-on approach /
由: Cunningham, James B.
出版: (2012)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
由: Yoeli, Michael, 1917-
出版: (2008)

Introduction to automata theory, languages, and computation /
由: Hopcroft, John E., 1939-
出版: (1979)

Introduction to automata theory, languages, and computation /
由: Hopcroft, John E.
出版: (2001)