Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Burlington, MA :
Newnes,
c2006.
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
UML 2 semantics and applications
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development /
: Larman, Craig
Հրապարակվել է: (2005)
: Larman, Craig
Հրապարակվել է: (2005)
Communicating systems with UML 2 modeling and analysis of network protocols /
: Garduno Barrera, David
Հրապարակվել է: (2011)
: Garduno Barrera, David
Հրապարակվել է: (2011)
Advanced systems design with Java, UML and MDA
: Lano, Kevin
Հրապարակվել է: (2005)
: Lano, Kevin
Հրապարակվել է: (2005)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
: Podeswa, Howard
Հրապարակվել է: (2009)
: Podeswa, Howard
Հրապարակվել է: (2009)
Domain architectures models and architectures for UML applications /
: Duffy, Daniel J.
Հրապարակվել է: (2004)
: Duffy, Daniel J.
Հրապարակվել է: (2004)
Patterns model-driven development using IBM Rational Software Architect /
: Swithinbank, Peter
Հրապարակվել է: (2005)
: Swithinbank, Peter
Հրապարակվել է: (2005)
Object-oriented design with UML and Java
: Barclay, Kenneth A., 1947-
Հրապարակվել է: (2004)
: Barclay, Kenneth A., 1947-
Հրապարակվել է: (2004)
Object-oriented systems analysis and design using UML /
: Bennett, Simon
Հրապարակվել է: (2006)
: Bennett, Simon
Հրապարակվել է: (2006)
Software specification methods
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
Formal software development from VDM to Java /
: Charatan, Quentin
Հրապարակվել է: (2004)
: Charatan, Quentin
Հրապարակվել է: (2004)
UML 2 certification guide
: Weilkiens, Tim
Հրապարակվել է: (2006)
: Weilkiens, Tim
Հրապարակվել է: (2006)
Embedded systems analysis and modeling with SysML, UML and AADL /
Հրապարակվել է: (2013)
Հրապարակվել է: (2013)
Verification techniques for system-level design
: Fujita, Masahiro, 1956-
Հրապարակվել է: (2008)
: Fujita, Masahiro, 1956-
Հրապարակվել է: (2008)
Cognitive modeling and verbal semantics a representational framework based on UML /
: Schalley, Andrea C., 1972-
Հրապարակվել է: (2004)
: Schalley, Andrea C., 1972-
Հրապարակվել է: (2004)
Formal methods applied to complex systems : implementation of the B method /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Teamwork in multi-agent systems a formal approach /
: Dunin-Kȩplicz, Barbara
Հրապարակվել է: (2010)
: Dunin-Kȩplicz, Barbara
Հրապարակվել է: (2010)
Formal method industrial use from model to the code /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
Object-oriented and classical software engineering /
: Schach, Stephen R.
Հրապարակվել է: (2005)
: Schach, Stephen R.
Հրապարակվել է: (2005)
Computers in language research
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Communicating embedded systems software and design : formal methods /
Հրապարակվել է: (2010)
Հրապարակվել է: (2010)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
: Podeswa, Howard
Հրապարակվել է: (2005)
: Podeswa, Howard
Հրապարակվել է: (2005)
Formal models, languages and applications
Հրապարակվել է: (2006)
Հրապարակվել է: (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)
Հրապարակվել է: (2001)
Principles of model checking
: Baier, Christel
Հրապարակվել է: (2008)
: Baier, Christel
Հրապարակվել է: (2008)
Real time UML workshop for embedded systems
: Douglass, Bruce Powel
Հրապարակվել է: (2007)
: Douglass, Bruce Powel
Հրապարակվել է: (2007)
Scientific applications of language methods
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Formalizing natural languages : the NooJ approach /
: Silberztein, Max
Հրապարակվել է: (2016)
: Silberztein, Max
Հրապարակվել է: (2016)
Multicore hardware-software design and verification techniques
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Principles of cyber-physical systems /
: Alur, Rajeev, 1966-
Հրապարակվել է: (2015)
: Alur, Rajeev, 1966-
Հրապարակվել է: (2015)
Two-step approaches to natural language formalisms
: Morawietz, Frank, 1968-
Հրապարակվել է: (2003)
: Morawietz, Frank, 1968-
Հրապարակվել է: (2003)
Contributions to the Science of Text and Language Word Length Studies and Related Issues /
: Grzybek, Peter
Հրապարակվել է: (2006)
: Grzybek, Peter
Հրապարակվել է: (2006)
Finite Difference Computing with Exponential Decay Models
: Langtangen, Hans Petter
Հրապարակվել է: (2016)
: Langtangen, Hans Petter
Հրապարակվել է: (2016)
Grammars for Language and Genes Theoretical and Empirical Investigations /
: Chiang, David
Հրապարակվել է: (2012)
: Chiang, David
Հրապարակվել է: (2012)
Practical model-based testing a tools approach /
: Utting, Mark
Հրապարակվել է: (2006)
: Utting, Mark
Հրապարակվել է: (2006)
IBM Express Runtime V2.1
: Nartovich, Aleksandr
Հրապարակվել է: (2005)
: Nartovich, Aleksandr
Հրապարակվել է: (2005)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
: Yoeli, Michael, 1917-
Հրապարակվել է: (2008)
: Yoeli, Michael, 1917-
Հրապարակվել է: (2008)
Using SPSS : an interactive hands-on approach /
: Cunningham, James B.
Հրապարակվել է: (2012)
: Cunningham, James B.
Հրապարակվել է: (2012)
Introduction to automata theory, languages, and computation /
: Hopcroft, John E.
Հրապարակվել է: (2001)
: Hopcroft, John E.
Հրապարակվել է: (2001)
Computability, complexity, and languages : fundamentals of theoretical computer science /
: Davis, Martin, 1928-
Հրապարակվել է: (1994)
: Davis, Martin, 1928-
Հրապարակվել է: (1994)