Formal software development from VDM to Java /
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Basingstoke :
Palgrave Macmillan,
2004.
|
| 主題: | |
| オンライン･アクセス: | An electronic book accessible through the World Wide Web; click to view |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
Software specification methods
出版事項: (2006)
出版事項: (2006)
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)
Formal method industrial use from model to the code /
出版事項: (2012)
出版事項: (2012)
Teamwork in multi-agent systems a formal approach /
著者:: Dunin-Kȩplicz, Barbara
出版事項: (2010)
著者:: Dunin-Kȩplicz, Barbara
出版事項: (2010)
Communicating embedded systems software and design : formal methods /
出版事項: (2010)
出版事項: (2010)
UML 2 semantics and applications
出版事項: (2009)
出版事項: (2009)
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)
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)
The Software developer's guide
著者:: Hentzen, Whil
出版事項: (2002)
著者:: Hentzen, Whil
出版事項: (2002)
Computers in language research
出版事項: (1983)
出版事項: (1983)
Component-based software development case studies /
著者:: Lau, Kung-Kiu
出版事項: (2004)
著者:: Lau, Kung-Kiu
出版事項: (2004)
Changing software development learning to be agile /
著者:: Kelly, Allan, 1969-
出版事項: (2008)
著者:: Kelly, Allan, 1969-
出版事項: (2008)
Software development rhythms harmonizing agile practices for synergy /
著者:: Lui, Kim Man
出版事項: (2008)
著者:: Lui, Kim Man
出版事項: (2008)
Agile software development evaluating the methods for your organization /
著者:: Koch, Alan S.
出版事項: (2005)
著者:: Koch, Alan S.
出版事項: (2005)
Software engineering architecture-driven software development /
著者:: Schmidt, Richard, 1956-
出版事項: (2013)
著者:: Schmidt, Richard, 1956-
出版事項: (2013)
Lean architecture for agile software development
著者:: Coplien, James
出版事項: (2010)
著者:: Coplien, James
出版事項: (2010)
Design for software a playbook for developers /
著者:: Klimczak, Erik
出版事項: (2013)
著者:: Klimczak, Erik
出版事項: (2013)
Formalizing natural languages : the NooJ approach /
著者:: Silberztein, Max
出版事項: (2016)
著者:: Silberztein, Max
出版事項: (2016)
Concepts in data structures and software development : a text for the second course in computer science /
著者:: Schneider, G. Michael
出版事項: (1991)
著者:: Schneider, G. Michael
出版事項: (1991)
Software paradigms
著者:: Kaisler, Stephen H. (Stephen Hendrick)
出版事項: (2005)
著者:: Kaisler, Stephen H. (Stephen Hendrick)
出版事項: (2005)
Two-step approaches to natural language formalisms
著者:: Morawietz, Frank, 1968-
出版事項: (2003)
著者:: Morawietz, Frank, 1968-
出版事項: (2003)
Metrics-driven enterprise software development effectively meeting evolving business needs /
著者:: Datta, Subhajit
出版事項: (2007)
著者:: Datta, Subhajit
出版事項: (2007)
Formal models, languages and applications
出版事項: (2006)
出版事項: (2006)
Open systems and standards for software product development
著者:: Dargan, P. A.
出版事項: (2005)
著者:: Dargan, P. A.
出版事項: (2005)
Software in 30 days how Agile managers beat the odds, delight their customers, and leave competitors in the dust /
著者:: Schwaber, Ken
出版事項: (2012)
著者:: Schwaber, Ken
出版事項: (2012)
Software estimation best practices, tools & techniques a complete guide for software project estimators /
著者:: Chemuturi, Murali, 1950-
出版事項: (2009)
著者:: Chemuturi, Murali, 1950-
出版事項: (2009)
Effective prototyping for software makers
著者:: Arnowitz, Jonathan
出版事項: (2007)
著者:: Arnowitz, Jonathan
出版事項: (2007)
Software engineering evolution and emerging technologies /
出版事項: (2005)
出版事項: (2005)
Principles of software development leadership applying project management principles to agile software development /
著者:: Whitaker, Ken, 1952-
出版事項: (2010)
著者:: Whitaker, Ken, 1952-
出版事項: (2010)
Coder to developer tools and strategies for delivering your software /
著者:: Gunderloy, Mike
出版事項: (2004)
著者:: Gunderloy, Mike
出版事項: (2004)
ROI of software process improvement metrics for project managers and software engineers /
著者:: Rico, David F., 1964-
出版事項: (2004)
著者:: Rico, David F., 1964-
出版事項: (2004)
Achieving software quality through teamwork
著者:: Evans, Isabel
出版事項: (2004)
著者:: Evans, Isabel
出版事項: (2004)
Designing highly useable software
著者:: Cogswell, Jeffrey M., 1968-
出版事項: (2004)
著者:: Cogswell, Jeffrey M., 1968-
出版事項: (2004)
Running an agile software development project
著者:: Holcombe, W. M. L. (William Michael Lloyd), 1944-
出版事項: (2008)
著者:: Holcombe, W. M. L. (William Michael Lloyd), 1944-
出版事項: (2008)
Using aspect-oriented programming for trustworthy software development
著者:: Safonov, V. O. (Vladimir Olegovich)
出版事項: (2008)
著者:: Safonov, V. O. (Vladimir Olegovich)
出版事項: (2008)
Practical guide to software quality management
著者:: Horch, John W.
出版事項: (2003)
著者:: Horch, John W.
出版事項: (2003)
Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
出版事項: (2002)
出版事項: (2002)
Static analysis of software the abstract interpretation /
出版事項: (2012)
出版事項: (2012)