Software specification methods
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
London ; Newport Beach, CA :
ISTE Ltd,
2006.
|
| Редактирование: | 2nd ed. |
| Предметы: | |
| Online-ссылка: | An electronic book accessible through the World Wide Web; click to view |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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)
Clojure for domain-specific languages /
по: Kelker, Ryan D.
Опубликовано: (2013)
по: Kelker, Ryan D.
Опубликовано: (2013)
Communicating embedded systems software and design : formal methods /
Опубликовано: (2010)
Опубликовано: (2010)
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)
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)
Domain-specific modeling enabling full code generation /
по: Kelly, Steven
Опубликовано: (2008)
по: Kelly, Steven
Опубликовано: (2008)
Agile software development evaluating the methods for your organization /
по: Koch, Alan S.
Опубликовано: (2005)
по: Koch, Alan S.
Опубликовано: (2005)
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)
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)
Scientific applications of language methods
Опубликовано: (2011)
Опубликовано: (2011)
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)