Software specification methods
Պահպանված է:
| Համատեղ հեղինակ: | |
|---|---|
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
London ; Newport Beach, CA :
ISTE Ltd,
2006.
|
| Հրատարակություն: | 2nd ed. |
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Formal software development from VDM to Java /
: Charatan, Quentin
Հրապարակվել է: (2004)
: Charatan, Quentin
Հրապարակվել է: (2004)
Formal methods applied to complex systems : implementation of the B method /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
: Drusinsky, Doron
Հրապարակվել է: (2006)
: Drusinsky, Doron
Հրապարակվել է: (2006)
Teamwork in multi-agent systems a formal approach /
: Dunin-Kȩplicz, Barbara
Հրապարակվել է: (2010)
: Dunin-Kȩplicz, Barbara
Հրապարակվել է: (2010)
Formal method industrial use from model to the code /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
UML 2 semantics and applications
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Communicating embedded systems software and design : formal methods /
Հրապարակվել է: (2010)
Հրապարակվել է: (2010)
Clojure for domain-specific languages /
: Kelker, Ryan D.
Հրապարակվել է: (2013)
: Kelker, Ryan D.
Հրապարակվել է: (2013)
Groovy for domain-specific languages extend and enhance your Java applications with domain specific languages in Groovy /
: Dearle, Fergal
Հրապարակվել է: (2010)
: Dearle, Fergal
Հրապարակվել է: (2010)
Computers in language research
Հրապարակվել է: (1983)
Հրապարակվել է: (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 /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
Static analysis of software the abstract interpretation /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
Artificial intelligence methods in software testing
Հրապարակվել է: (2004)
Հրապարակվել է: (2004)
The art of software testing
: Myers, Glenford J., 1946-
Հրապարակվել է: (2012)
: Myers, Glenford J., 1946-
Հրապարակվել է: (2012)
Computer software : programming systems for digital computers /
: Flores, Ivan
Հրապարակվել է: (1965)
: Flores, Ivan
Հրապարակվել է: (1965)
Software error detection through testing and analysis
: Huang, J. C., 1935-
Հրապարակվել է: (2009)
: Huang, J. C., 1935-
Հրապարակվել է: (2009)
Software and systems safety specification and verification /
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
The software audit guide /
: Helgeson, John W., 1945-
Հրապարակվել է: (2009)
: Helgeson, John W., 1945-
Հրապարակվել է: (2009)
Summary of a workshop on software certification and dependability
Հրապարակվել է: (2004)
Հրապարակվել է: (2004)
Scaling a Software Business The Digitalization Journey /
: Fitzgerald, Brian, և այլն
Հրապարակվել է: (2017)
: Fitzgerald, Brian, և այլն
Հրապարակվել է: (2017)
Software testing techniques finding the defects that matter /
Հրապարակվել է: (2005)
Հրապարակվել է: (2005)
Scientific applications of language methods
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
Guide to advanced software testing
: Hass, Anne Mette Jonassen
Հրապարակվել է: (2008)
: Hass, Anne Mette Jonassen
Հրապարակվել է: (2008)
Software testing fundamentals methods and metrics /
: Hutcheson, Marnie L., 1951-
Հրապարակվել է: (2003)
: Hutcheson, Marnie L., 1951-
Հրապարակվել է: (2003)
Software design methodology
: Zhu, Hong, 1961-
Հրապարակվել է: (2005)
: Zhu, Hong, 1961-
Հրապարակվել է: (2005)
Software engineering architecture-driven software development /
: Schmidt, Richard, 1956-
Հրապարակվել է: (2013)
: Schmidt, Richard, 1956-
Հրապարակվել է: (2013)
Agile software development evaluating the methods for your organization /
: Koch, Alan S.
Հրապարակվել է: (2005)
: Koch, Alan S.
Հրապարակվել է: (2005)
Formal languages, automata and numeration systems 2 /
: Rigo, Michel
Հրապարակվել է: (2014)
: Rigo, Michel
Հրապարակվել է: (2014)
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
: Rigo, Michel
Հրապարակվել է: (2014)
: Rigo, Michel
Հրապարակվել է: (2014)
Domain-specific modeling enabling full code generation /
: Kelly, Steven
Հրապարակվել է: (2008)
: Kelly, Steven
Հրապարակվել է: (2008)
Component-based software development case studies /
: Lau, Kung-Kiu
Հրապարակվել է: (2004)
: Lau, Kung-Kiu
Հրապարակվել է: (2004)
Software paradigms
: Kaisler, Stephen H. (Stephen Hendrick)
Հրապարակվել է: (2005)
: Kaisler, Stephen H. (Stephen Hendrick)
Հրապարակվել է: (2005)
Software engineering evolution and emerging technologies /
Հրապարակվել է: (2005)
Հրապարակվել է: (2005)
Effective prototyping for software makers
: Arnowitz, Jonathan
Հրապարակվել է: (2007)
: Arnowitz, Jonathan
Հրապարակվել է: (2007)
The business value of agile software methods maximizing ROI with just-in-time processes and documentation /
: Rico, David F., 1964-
Հրապարակվել է: (2009)
: Rico, David F., 1964-
Հրապարակվել է: (2009)
The Software developer's guide
: Hentzen, Whil
Հրապարակվել է: (2002)
: Hentzen, Whil
Հրապարակվել է: (2002)
Software testing : concepts and operations /
: Mili, Ali, և այլն
Հրապարակվել է: (2015)
: Mili, Ali, և այլն
Հրապարակվել է: (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 /
: Subashni S.
Հրապարակվել է: (2008)
: Subashni S.
Հրապարակվել է: (2008)
Achieving software quality through teamwork
: Evans, Isabel
Հրապարակվել է: (2004)
: Evans, Isabel
Հրապարակվել է: (2004)
Design for software a playbook for developers /
: Klimczak, Erik
Հրապարակվել է: (2013)
: Klimczak, Erik
Հրապարակվել է: (2013)