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)
UML 2 certification guide
حسب: Weilkiens, Tim
منشور في: (2006)
حسب: Weilkiens, Tim
منشور في: (2006)
Embedded systems analysis and modeling with SysML, UML and AADL /
منشور في: (2013)
منشور في: (2013)
Software specification methods
منشور في: (2006)
منشور في: (2006)
Formal software development from VDM to Java /
حسب: Charatan, Quentin
منشور في: (2004)
حسب: Charatan, Quentin
منشور في: (2004)
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)
Object-oriented and classical software engineering /
حسب: Schach, Stephen R.
منشور في: (2005)
حسب: Schach, Stephen R.
منشور في: (2005)
Formal method industrial use from model to the code /
منشور في: (2012)
منشور في: (2012)
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)
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)
Practical model-based testing a tools approach /
حسب: Utting, Mark
منشور في: (2006)
حسب: Utting, Mark
منشور في: (2006)
Using SPSS : an interactive hands-on approach /
حسب: Cunningham, James B.
منشور في: (2012)
حسب: Cunningham, James B.
منشور في: (2012)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
حسب: Yoeli, Michael, 1917-
منشور في: (2008)
حسب: Yoeli, Michael, 1917-
منشور في: (2008)
Computability, complexity, and languages : fundamentals of theoretical computer science /
حسب: Davis, Martin, 1928-
منشور في: (1994)
حسب: Davis, Martin, 1928-
منشور في: (1994)
Introduction to automata theory, languages, and computation /
حسب: Hopcroft, John E., 1939-
منشور في: (1979)
حسب: Hopcroft, John E., 1939-
منشور في: (1979)