Software specification methods
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
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)
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)