Formal software development from VDM to Java /
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Байгууллагын зохиогч: | |
| Бусад зохиолчид: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
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)
UML 2 semantics and applications
Хэвлэсэн: (2009)
Хэвлэсэн: (2009)
Communicating embedded systems software and design : formal methods /
Хэвлэсэн: (2010)
Хэвлэсэн: (2010)
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)
The Software developer's guide
-н: Hentzen, Whil
Хэвлэсэн: (2002)
-н: Hentzen, Whil
Хэвлэсэн: (2002)
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
-н: Rigo, Michel
Хэвлэсэн: (2014)
-н: Rigo, Michel
Хэвлэсэн: (2014)
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)
Agile software development evaluating the methods for your organization /
-н: Koch, Alan S.
Хэвлэсэн: (2005)
-н: Koch, Alan S.
Хэвлэсэн: (2005)
Software development rhythms harmonizing agile practices for synergy /
-н: Lui, Kim Man
Хэвлэсэн: (2008)
-н: Lui, Kim Man
Хэвлэсэн: (2008)
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)
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)
Formalizing natural languages : the NooJ approach /
-н: Silberztein, Max
Хэвлэсэн: (2016)
-н: Silberztein, Max
Хэвлэсэн: (2016)
Metrics-driven enterprise software development effectively meeting evolving business needs /
-н: Datta, Subhajit
Хэвлэсэн: (2007)
-н: Datta, Subhajit
Хэвлэсэн: (2007)
Open systems and standards for software product development
-н: Dargan, P. A.
Хэвлэсэн: (2005)
-н: Dargan, P. A.
Хэвлэсэн: (2005)
Two-step approaches to natural language formalisms
-н: Morawietz, Frank, 1968-
Хэвлэсэн: (2003)
-н: Morawietz, Frank, 1968-
Хэвлэсэн: (2003)
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)
Formal models, languages and applications
Хэвлэсэн: (2006)
Хэвлэсэн: (2006)
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)
Using aspect-oriented programming for trustworthy software development
-н: Safonov, V. O. (Vladimir Olegovich)
Хэвлэсэн: (2008)
-н: Safonov, V. O. (Vladimir Olegovich)
Хэвлэсэн: (2008)
Running an agile software development project
-н: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Хэвлэсэн: (2008)
-н: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Хэвлэсэн: (2008)
Static analysis of software the abstract interpretation /
Хэвлэсэн: (2012)
Хэвлэсэн: (2012)
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)