Formal software development from VDM to Java /

Teamwork in multi-agent systems a formal approach /
حسب: Dunin-Kȩplicz, Barbara
منشور في: (2010)

Communicating embedded systems software and design : formal methods /
منشور في: (2010)

UML 2 semantics and applications
منشور في: (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)

Formal languages, automata and numeration systems 2 /
حسب: Rigo, Michel
منشور في: (2014)

The Software developer's guide
حسب: Hentzen, Whil
منشور في: (2002)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
حسب: Rigo, Michel
منشور في: (2014)

Computers in language research
منشور في: (1983)

Component-based software development case studies /
حسب: Lau, Kung-Kiu
منشور في: (2004)

Changing software development learning to be agile /
حسب: Kelly, Allan, 1969-
منشور في: (2008)

Software development rhythms harmonizing agile practices for synergy /
حسب: Lui, Kim Man
منشور في: (2008)

Agile software development evaluating the methods for your organization /
حسب: Koch, Alan S.
منشور في: (2005)

Software engineering architecture-driven software development /
حسب: Schmidt, Richard, 1956-
منشور في: (2013)

Lean architecture for agile software development
حسب: Coplien, James
منشور في: (2010)

Concepts in data structures and software development : a text for the second course in computer science /
حسب: Schneider, G. Michael
منشور في: (1991)

Design for software a playbook for developers /
حسب: Klimczak, Erik
منشور في: (2013)

Formalizing natural languages : the NooJ approach /
حسب: Silberztein, Max
منشور في: (2016)

Software paradigms
حسب: Kaisler, Stephen H. (Stephen Hendrick)
منشور في: (2005)

Metrics-driven enterprise software development effectively meeting evolving business needs /
حسب: Datta, Subhajit
منشور في: (2007)

Two-step approaches to natural language formalisms
حسب: Morawietz, Frank, 1968-
منشور في: (2003)

Open systems and standards for software product development
حسب: Dargan, P. A.
منشور في: (2005)

Effective prototyping for software makers
حسب: Arnowitz, Jonathan
منشور في: (2007)

Formal models, languages and applications
منشور في: (2006)

Software in 30 days how Agile managers beat the odds, delight their customers, and leave competitors in the dust /
حسب: Schwaber, Ken
منشور في: (2012)

Software estimation best practices, tools & techniques a complete guide for software project estimators /
حسب: Chemuturi, Murali, 1950-
منشور في: (2009)

Software engineering evolution and emerging technologies /
منشور في: (2005)

Principles of software development leadership applying project management principles to agile software development /
حسب: Whitaker, Ken, 1952-
منشور في: (2010)

ROI of software process improvement metrics for project managers and software engineers /
حسب: Rico, David F., 1964-
منشور في: (2004)

Coder to developer tools and strategies for delivering your software /
حسب: Gunderloy, Mike
منشور في: (2004)

Achieving software quality through teamwork
حسب: Evans, Isabel
منشور في: (2004)

Designing highly useable software
حسب: Cogswell, Jeffrey M., 1968-
منشور في: (2004)

Running an agile software development project
حسب: Holcombe, W. M. L. (William Michael Lloyd), 1944-
منشور في: (2008)

Using aspect-oriented programming for trustworthy software development
حسب: Safonov, V. O. (Vladimir Olegovich)
منشور في: (2008)

Static analysis of software the abstract interpretation /
منشور في: (2012)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
منشور في: (2002)

Practical guide to software quality management
حسب: Horch, John W.
منشور في: (2003)