Ata uhi

QR Code

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

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Drusinsky, Doron
Kaituhi rangatōpū:	ebrary, Inc
Hōputu:	Tāhiko īPukapuka
Reo:	Ingarihi
I whakaputaina:	Burlington, MA : Newnes, c2006.
Ngā marau:	UML (Computer science) Formal methods (Computer science) Computer software > Development. Electronic books.
Urunga tuihono:	An electronic book accessible through the World Wide Web; click to view
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

Ngā tūemi rite

UML 2 semantics and applications
I whakaputaina: (2009)

Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development /
mā: Larman, Craig
I whakaputaina: (2005)

Communicating systems with UML 2 modeling and analysis of network protocols /
mā: Garduno Barrera, David
I whakaputaina: (2011)

Advanced systems design with Java, UML and MDA
mā: Lano, Kevin
I whakaputaina: (2005)

UML for the IT business analyst a practical guide to object-oriented requirements gathering /
mā: Podeswa, Howard
I whakaputaina: (2009)

Domain architectures models and architectures for UML applications /
mā: Duffy, Daniel J.
I whakaputaina: (2004)

Patterns model-driven development using IBM Rational Software Architect /
mā: Swithinbank, Peter
I whakaputaina: (2005)

Object-oriented design with UML and Java
mā: Barclay, Kenneth A., 1947-
I whakaputaina: (2004)

Object-oriented systems analysis and design using UML /
mā: Bennett, Simon
I whakaputaina: (2006)

UML 2 certification guide
mā: Weilkiens, Tim
I whakaputaina: (2006)

Embedded systems analysis and modeling with SysML, UML and AADL /
I whakaputaina: (2013)

Software specification methods
I whakaputaina: (2006)

Formal software development from VDM to Java /
mā: Charatan, Quentin
I whakaputaina: (2004)

Cognitive modeling and verbal semantics a representational framework based on UML /
mā: Schalley, Andrea C., 1972-
I whakaputaina: (2004)

Verification techniques for system-level design
mā: Fujita, Masahiro, 1956-
I whakaputaina: (2008)

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

Teamwork in multi-agent systems a formal approach /
mā: Dunin-Kȩplicz, Barbara
I whakaputaina: (2010)

Object-oriented and classical software engineering /
mā: Schach, Stephen R.
I whakaputaina: (2005)

Formal method industrial use from model to the code /
I whakaputaina: (2012)

Computers in language research
I whakaputaina: (1983)

Communicating embedded systems software and design : formal methods /
I whakaputaina: (2010)

UML for the IT business analyst a practical guide to object-oriented requirements gathering /
mā: Podeswa, Howard
I whakaputaina: (2005)

Formal models, languages and applications
I whakaputaina: (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 /
I whakaputaina: (2001)

Principles of model checking
mā: Baier, Christel
I whakaputaina: (2008)

Real time UML workshop for embedded systems
mā: Douglass, Bruce Powel
I whakaputaina: (2007)

Scientific applications of language methods
I whakaputaina: (2011)

Formalizing natural languages : the NooJ approach /
mā: Silberztein, Max
I whakaputaina: (2016)

Multicore hardware-software design and verification techniques
I whakaputaina: (2011)

Principles of cyber-physical systems /
mā: Alur, Rajeev, 1966-
I whakaputaina: (2015)

Two-step approaches to natural language formalisms
mā: Morawietz, Frank, 1968-
I whakaputaina: (2003)

Contributions to the Science of Text and Language Word Length Studies and Related Issues /
mā: Grzybek, Peter
I whakaputaina: (2006)

Grammars for Language and Genes Theoretical and Empirical Investigations /
mā: Chiang, David
I whakaputaina: (2012)

Finite Difference Computing with Exponential Decay Models
mā: Langtangen, Hans Petter
I whakaputaina: (2016)

IBM Express Runtime V2.1
mā: Nartovich, Aleksandr
I whakaputaina: (2005)

Practical model-based testing a tools approach /
mā: Utting, Mark
I whakaputaina: (2006)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
mā: Yoeli, Michael, 1917-
I whakaputaina: (2008)

Using SPSS : an interactive hands-on approach /
mā: Cunningham, James B.
I whakaputaina: (2012)

Introduction to automata theory, languages, and computation /
mā: Hopcroft, John E.
I whakaputaina: (2001)

Computability, complexity, and languages : fundamentals of theoretical computer science /
mā: Davis, Martin, 1928-
I whakaputaina: (1994)