Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Coauteur: | |
| Formaat: | Elektronisch E-boek |
| Taal: | Engels |
| Gepubliceerd in: |
Burlington, MA :
Newnes,
c2006.
|
| Onderwerpen: | |
| Online toegang: | An electronic book accessible through the World Wide Web; click to view |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items
UML 2 semantics and applications
Gepubliceerd in: (2009)
Gepubliceerd in: (2009)
Applying UML and patterns : an introduction to object-oriented analysis and design and iterative development /
door: Larman, Craig
Gepubliceerd in: (2005)
door: Larman, Craig
Gepubliceerd in: (2005)
Communicating systems with UML 2 modeling and analysis of network protocols /
door: Garduno Barrera, David
Gepubliceerd in: (2011)
door: Garduno Barrera, David
Gepubliceerd in: (2011)
Advanced systems design with Java, UML and MDA
door: Lano, Kevin
Gepubliceerd in: (2005)
door: Lano, Kevin
Gepubliceerd in: (2005)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
door: Podeswa, Howard
Gepubliceerd in: (2009)
door: Podeswa, Howard
Gepubliceerd in: (2009)
Domain architectures models and architectures for UML applications /
door: Duffy, Daniel J.
Gepubliceerd in: (2004)
door: Duffy, Daniel J.
Gepubliceerd in: (2004)
Patterns model-driven development using IBM Rational Software Architect /
door: Swithinbank, Peter
Gepubliceerd in: (2005)
door: Swithinbank, Peter
Gepubliceerd in: (2005)
Object-oriented design with UML and Java
door: Barclay, Kenneth A., 1947-
Gepubliceerd in: (2004)
door: Barclay, Kenneth A., 1947-
Gepubliceerd in: (2004)
Object-oriented systems analysis and design using UML /
door: Bennett, Simon
Gepubliceerd in: (2006)
door: Bennett, Simon
Gepubliceerd in: (2006)
UML 2 certification guide
door: Weilkiens, Tim
Gepubliceerd in: (2006)
door: Weilkiens, Tim
Gepubliceerd in: (2006)
Embedded systems analysis and modeling with SysML, UML and AADL /
Gepubliceerd in: (2013)
Gepubliceerd in: (2013)
Software specification methods
Gepubliceerd in: (2006)
Gepubliceerd in: (2006)
Formal software development from VDM to Java /
door: Charatan, Quentin
Gepubliceerd in: (2004)
door: Charatan, Quentin
Gepubliceerd in: (2004)
Cognitive modeling and verbal semantics a representational framework based on UML /
door: Schalley, Andrea C., 1972-
Gepubliceerd in: (2004)
door: Schalley, Andrea C., 1972-
Gepubliceerd in: (2004)
Verification techniques for system-level design
door: Fujita, Masahiro, 1956-
Gepubliceerd in: (2008)
door: Fujita, Masahiro, 1956-
Gepubliceerd in: (2008)
Formal methods applied to complex systems : implementation of the B method /
Gepubliceerd in: (2014)
Gepubliceerd in: (2014)
Teamwork in multi-agent systems a formal approach /
door: Dunin-Kȩplicz, Barbara
Gepubliceerd in: (2010)
door: Dunin-Kȩplicz, Barbara
Gepubliceerd in: (2010)
Object-oriented and classical software engineering /
door: Schach, Stephen R.
Gepubliceerd in: (2005)
door: Schach, Stephen R.
Gepubliceerd in: (2005)
Formal method industrial use from model to the code /
Gepubliceerd in: (2012)
Gepubliceerd in: (2012)
Computers in language research
Gepubliceerd in: (1983)
Gepubliceerd in: (1983)
Communicating embedded systems software and design : formal methods /
Gepubliceerd in: (2010)
Gepubliceerd in: (2010)
UML for the IT business analyst a practical guide to object-oriented requirements gathering /
door: Podeswa, Howard
Gepubliceerd in: (2005)
door: Podeswa, Howard
Gepubliceerd in: (2005)
Formal models, languages and applications
Gepubliceerd in: (2006)
Gepubliceerd in: (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 /
Gepubliceerd in: (2001)
Gepubliceerd in: (2001)
Principles of model checking
door: Baier, Christel
Gepubliceerd in: (2008)
door: Baier, Christel
Gepubliceerd in: (2008)
Real time UML workshop for embedded systems
door: Douglass, Bruce Powel
Gepubliceerd in: (2007)
door: Douglass, Bruce Powel
Gepubliceerd in: (2007)
Multicore hardware-software design and verification techniques
Gepubliceerd in: (2011)
Gepubliceerd in: (2011)
Scientific applications of language methods
Gepubliceerd in: (2011)
Gepubliceerd in: (2011)
Formalizing natural languages : the NooJ approach /
door: Silberztein, Max
Gepubliceerd in: (2016)
door: Silberztein, Max
Gepubliceerd in: (2016)
Principles of cyber-physical systems /
door: Alur, Rajeev, 1966-
Gepubliceerd in: (2015)
door: Alur, Rajeev, 1966-
Gepubliceerd in: (2015)
Two-step approaches to natural language formalisms
door: Morawietz, Frank, 1968-
Gepubliceerd in: (2003)
door: Morawietz, Frank, 1968-
Gepubliceerd in: (2003)
Contributions to the Science of Text and Language Word Length Studies and Related Issues /
door: Grzybek, Peter
Gepubliceerd in: (2006)
door: Grzybek, Peter
Gepubliceerd in: (2006)
Finite Difference Computing with Exponential Decay Models
door: Langtangen, Hans Petter
Gepubliceerd in: (2016)
door: Langtangen, Hans Petter
Gepubliceerd in: (2016)
Grammars for Language and Genes Theoretical and Empirical Investigations /
door: Chiang, David
Gepubliceerd in: (2012)
door: Chiang, David
Gepubliceerd in: (2012)
IBM Express Runtime V2.1
door: Nartovich, Aleksandr
Gepubliceerd in: (2005)
door: Nartovich, Aleksandr
Gepubliceerd in: (2005)
Practical model-based testing a tools approach /
door: Utting, Mark
Gepubliceerd in: (2006)
door: Utting, Mark
Gepubliceerd in: (2006)
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
door: Yoeli, Michael, 1917-
Gepubliceerd in: (2008)
door: Yoeli, Michael, 1917-
Gepubliceerd in: (2008)
Using SPSS : an interactive hands-on approach /
door: Cunningham, James B.
Gepubliceerd in: (2012)
door: Cunningham, James B.
Gepubliceerd in: (2012)
Introduction to automata theory, languages, and computation /
door: Hopcroft, John E., 1939-
Gepubliceerd in: (1979)
door: Hopcroft, John E., 1939-
Gepubliceerd in: (1979)
Introduction to automata theory, languages, and computation /
door: Hopcroft, John E.
Gepubliceerd in: (2001)
door: Hopcroft, John E.
Gepubliceerd in: (2001)