Software specification methods
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
London ; Newport Beach, CA :
ISTE Ltd,
2006.
|
| Vydání: | 2nd ed. |
| Témata: | |
| On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Formal software development from VDM to Java /
Autor: Charatan, Quentin
Vydáno: (2004)
Autor: Charatan, Quentin
Vydáno: (2004)
Formal methods applied to complex systems : implementation of the B method /
Vydáno: (2014)
Vydáno: (2014)
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Autor: Drusinsky, Doron
Vydáno: (2006)
Autor: Drusinsky, Doron
Vydáno: (2006)
Teamwork in multi-agent systems a formal approach /
Autor: Dunin-Kȩplicz, Barbara
Vydáno: (2010)
Autor: Dunin-Kȩplicz, Barbara
Vydáno: (2010)
Formal method industrial use from model to the code /
Vydáno: (2012)
Vydáno: (2012)
UML 2 semantics and applications
Vydáno: (2009)
Vydáno: (2009)
Clojure for domain-specific languages /
Autor: Kelker, Ryan D.
Vydáno: (2013)
Autor: Kelker, Ryan D.
Vydáno: (2013)
Communicating embedded systems software and design : formal methods /
Vydáno: (2010)
Vydáno: (2010)
Groovy for domain-specific languages extend and enhance your Java applications with domain specific languages in Groovy /
Autor: Dearle, Fergal
Vydáno: (2010)
Autor: Dearle, Fergal
Vydáno: (2010)
Computers in language research
Vydáno: (1983)
Vydáno: (1983)
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 /
Vydáno: (2001)
Vydáno: (2001)
Static analysis of software the abstract interpretation /
Vydáno: (2012)
Vydáno: (2012)
Artificial intelligence methods in software testing
Vydáno: (2004)
Vydáno: (2004)
The art of software testing
Autor: Myers, Glenford J., 1946-
Vydáno: (2012)
Autor: Myers, Glenford J., 1946-
Vydáno: (2012)
Computer software : programming systems for digital computers /
Autor: Flores, Ivan
Vydáno: (1965)
Autor: Flores, Ivan
Vydáno: (1965)
Software error detection through testing and analysis
Autor: Huang, J. C., 1935-
Vydáno: (2009)
Autor: Huang, J. C., 1935-
Vydáno: (2009)
Software and systems safety specification and verification /
Vydáno: (2011)
Vydáno: (2011)
The software audit guide /
Autor: Helgeson, John W., 1945-
Vydáno: (2009)
Autor: Helgeson, John W., 1945-
Vydáno: (2009)
Summary of a workshop on software certification and dependability
Vydáno: (2004)
Vydáno: (2004)
Scaling a Software Business The Digitalization Journey /
Autor: Fitzgerald, Brian, a další
Vydáno: (2017)
Autor: Fitzgerald, Brian, a další
Vydáno: (2017)
Software testing techniques finding the defects that matter /
Vydáno: (2005)
Vydáno: (2005)
Guide to advanced software testing
Autor: Hass, Anne Mette Jonassen
Vydáno: (2008)
Autor: Hass, Anne Mette Jonassen
Vydáno: (2008)
Software testing fundamentals methods and metrics /
Autor: Hutcheson, Marnie L., 1951-
Vydáno: (2003)
Autor: Hutcheson, Marnie L., 1951-
Vydáno: (2003)
Software design methodology
Autor: Zhu, Hong, 1961-
Vydáno: (2005)
Autor: Zhu, Hong, 1961-
Vydáno: (2005)
Software engineering architecture-driven software development /
Autor: Schmidt, Richard, 1956-
Vydáno: (2013)
Autor: Schmidt, Richard, 1956-
Vydáno: (2013)
Domain-specific modeling enabling full code generation /
Autor: Kelly, Steven
Vydáno: (2008)
Autor: Kelly, Steven
Vydáno: (2008)
Agile software development evaluating the methods for your organization /
Autor: Koch, Alan S.
Vydáno: (2005)
Autor: Koch, Alan S.
Vydáno: (2005)
Component-based software development case studies /
Autor: Lau, Kung-Kiu
Vydáno: (2004)
Autor: Lau, Kung-Kiu
Vydáno: (2004)
Software paradigms
Autor: Kaisler, Stephen H. (Stephen Hendrick)
Vydáno: (2005)
Autor: Kaisler, Stephen H. (Stephen Hendrick)
Vydáno: (2005)
Software engineering evolution and emerging technologies /
Vydáno: (2005)
Vydáno: (2005)
Formal languages, automata and numeration systems 2 /
Autor: Rigo, Michel
Vydáno: (2014)
Autor: Rigo, Michel
Vydáno: (2014)
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Autor: Rigo, Michel
Vydáno: (2014)
Autor: Rigo, Michel
Vydáno: (2014)
Scientific applications of language methods
Vydáno: (2011)
Vydáno: (2011)
Effective prototyping for software makers
Autor: Arnowitz, Jonathan
Vydáno: (2007)
Autor: Arnowitz, Jonathan
Vydáno: (2007)
The Software developer's guide
Autor: Hentzen, Whil
Vydáno: (2002)
Autor: Hentzen, Whil
Vydáno: (2002)
The business value of agile software methods maximizing ROI with just-in-time processes and documentation /
Autor: Rico, David F., 1964-
Vydáno: (2009)
Autor: Rico, David F., 1964-
Vydáno: (2009)
Software testing : concepts and operations /
Autor: Mili, Ali, a další
Vydáno: (2015)
Autor: Mili, Ali, a další
Vydáno: (2015)
Software testing with Visual Studio team system 2008 a comprehensive and concise guide to testing your software applications with Visual Studio team system 2008 /
Autor: Subashni S.
Vydáno: (2008)
Autor: Subashni S.
Vydáno: (2008)
Achieving software quality through teamwork
Autor: Evans, Isabel
Vydáno: (2004)
Autor: Evans, Isabel
Vydáno: (2004)
Design for software a playbook for developers /
Autor: Klimczak, Erik
Vydáno: (2013)
Autor: Klimczak, Erik
Vydáno: (2013)