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