Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
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)
UML 2 certification guide
著者:: Weilkiens, Tim
出版事項: (2006)
著者:: Weilkiens, Tim
出版事項: (2006)
Formal software development from VDM to Java /
著者:: Charatan, Quentin
出版事項: (2004)
著者:: Charatan, Quentin
出版事項: (2004)
Software specification methods
出版事項: (2006)
出版事項: (2006)
Embedded systems analysis and modeling with SysML, UML and AADL /
出版事項: (2013)
出版事項: (2013)
Cognitive modeling and verbal semantics a representational framework based on UML /
著者:: Schalley, Andrea C., 1972-
出版事項: (2004)
著者:: Schalley, Andrea C., 1972-
出版事項: (2004)
Verification techniques for system-level design
著者:: Fujita, Masahiro, 1956-
出版事項: (2008)
著者:: Fujita, Masahiro, 1956-
出版事項: (2008)
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)
Real time UML workshop for embedded systems
著者:: Douglass, Bruce Powel
出版事項: (2007)
著者:: Douglass, Bruce Powel
出版事項: (2007)
Principles of model checking
著者:: Baier, Christel
出版事項: (2008)
著者:: Baier, Christel
出版事項: (2008)
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)
Grammars for Language and Genes Theoretical and Empirical Investigations /
著者:: Chiang, David
出版事項: (2012)
著者:: Chiang, David
出版事項: (2012)
Finite Difference Computing with Exponential Decay Models
著者:: Langtangen, Hans Petter
出版事項: (2016)
著者:: Langtangen, Hans Petter
出版事項: (2016)
IBM Express Runtime V2.1
著者:: Nartovich, Aleksandr
出版事項: (2005)
著者:: Nartovich, Aleksandr
出版事項: (2005)
Using SPSS : an interactive hands-on approach /
著者:: Cunningham, James B.
出版事項: (2012)
著者:: Cunningham, James B.
出版事項: (2012)
Practical model-based testing a tools approach /
著者:: Utting, Mark
出版事項: (2006)
著者:: Utting, Mark
出版事項: (2006)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
著者:: Yoeli, Michael, 1917-
出版事項: (2008)
著者:: Yoeli, Michael, 1917-
出版事項: (2008)
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)