Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Saved in:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Burlington, MA :
Newnes,
c2006.
|
| Fag: | |
| Online adgang: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
UML 2 semantics and applications
Udgivet: (2009)
Udgivet: (2009)
Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development /
af: Larman, Craig
Udgivet: (2005)
af: Larman, Craig
Udgivet: (2005)
Communicating systems with UML 2 modeling and analysis of network protocols /
af: Garduno Barrera, David
Udgivet: (2011)
af: Garduno Barrera, David
Udgivet: (2011)
Advanced systems design with Java, UML and MDA
af: Lano, Kevin
Udgivet: (2005)
af: Lano, Kevin
Udgivet: (2005)
Domain architectures models and architectures for UML applications /
af: Duffy, Daniel J.
Udgivet: (2004)
af: Duffy, Daniel J.
Udgivet: (2004)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
af: Podeswa, Howard
Udgivet: (2009)
af: Podeswa, Howard
Udgivet: (2009)
Patterns model-driven development using IBM Rational Software Architect /
af: Swithinbank, Peter
Udgivet: (2005)
af: Swithinbank, Peter
Udgivet: (2005)
Object-oriented design with UML and Java
af: Barclay, Kenneth A., 1947-
Udgivet: (2004)
af: Barclay, Kenneth A., 1947-
Udgivet: (2004)
Object-oriented systems analysis and design using UML /
af: Bennett, Simon
Udgivet: (2006)
af: Bennett, Simon
Udgivet: (2006)
UML 2 certification guide
af: Weilkiens, Tim
Udgivet: (2006)
af: Weilkiens, Tim
Udgivet: (2006)
Embedded systems analysis and modeling with SysML, UML and AADL /
Udgivet: (2013)
Udgivet: (2013)
Software specification methods
Udgivet: (2006)
Udgivet: (2006)
Formal software development from VDM to Java /
af: Charatan, Quentin
Udgivet: (2004)
af: Charatan, Quentin
Udgivet: (2004)
Cognitive modeling and verbal semantics a representational framework based on UML /
af: Schalley, Andrea C., 1972-
Udgivet: (2004)
af: Schalley, Andrea C., 1972-
Udgivet: (2004)
Verification techniques for system-level design
af: Fujita, Masahiro, 1956-
Udgivet: (2008)
af: Fujita, Masahiro, 1956-
Udgivet: (2008)
Formal methods applied to complex systems : implementation of the B method /
Udgivet: (2014)
Udgivet: (2014)
Teamwork in multi-agent systems a formal approach /
af: Dunin-Kȩplicz, Barbara
Udgivet: (2010)
af: Dunin-Kȩplicz, Barbara
Udgivet: (2010)
Object-oriented and classical software engineering /
af: Schach, Stephen R.
Udgivet: (2005)
af: Schach, Stephen R.
Udgivet: (2005)
Formal method industrial use from model to the code /
Udgivet: (2012)
Udgivet: (2012)
Computers in language research
Udgivet: (1983)
Udgivet: (1983)
Communicating embedded systems software and design : formal methods /
Udgivet: (2010)
Udgivet: (2010)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
af: Podeswa, Howard
Udgivet: (2005)
af: Podeswa, Howard
Udgivet: (2005)
Formal models, languages and applications
Udgivet: (2006)
Udgivet: (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 /
Udgivet: (2001)
Udgivet: (2001)
Principles of model checking
af: Baier, Christel
Udgivet: (2008)
af: Baier, Christel
Udgivet: (2008)
Multicore hardware-software design and verification techniques
Udgivet: (2011)
Udgivet: (2011)
Real time UML workshop for embedded systems
af: Douglass, Bruce Powel
Udgivet: (2007)
af: Douglass, Bruce Powel
Udgivet: (2007)
Scientific applications of language methods
Udgivet: (2011)
Udgivet: (2011)
Formalizing natural languages : the NooJ approach /
af: Silberztein, Max
Udgivet: (2016)
af: Silberztein, Max
Udgivet: (2016)
Principles of cyber-physical systems /
af: Alur, Rajeev, 1966-
Udgivet: (2015)
af: Alur, Rajeev, 1966-
Udgivet: (2015)
Two-step approaches to natural language formalisms
af: Morawietz, Frank, 1968-
Udgivet: (2003)
af: Morawietz, Frank, 1968-
Udgivet: (2003)
Contributions to the Science of Text and Language Word Length Studies and Related Issues /
af: Grzybek, Peter
Udgivet: (2006)
af: Grzybek, Peter
Udgivet: (2006)
Finite Difference Computing with Exponential Decay Models
af: Langtangen, Hans Petter
Udgivet: (2016)
af: Langtangen, Hans Petter
Udgivet: (2016)
Grammars for Language and Genes Theoretical and Empirical Investigations /
af: Chiang, David
Udgivet: (2012)
af: Chiang, David
Udgivet: (2012)
IBM Express Runtime V2.1
af: Nartovich, Aleksandr
Udgivet: (2005)
af: Nartovich, Aleksandr
Udgivet: (2005)
Practical model-based testing a tools approach /
af: Utting, Mark
Udgivet: (2006)
af: Utting, Mark
Udgivet: (2006)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
af: Yoeli, Michael, 1917-
Udgivet: (2008)
af: Yoeli, Michael, 1917-
Udgivet: (2008)
Using SPSS : an interactive hands-on approach /
af: Cunningham, James B.
Udgivet: (2012)
af: Cunningham, James B.
Udgivet: (2012)
Software error detection through testing and analysis
af: Huang, J. C., 1935-
Udgivet: (2009)
af: Huang, J. C., 1935-
Udgivet: (2009)
Summary of a workshop on software certification and dependability
Udgivet: (2004)
Udgivet: (2004)