Formal software development from VDM to Java /

Teamwork in multi-agent systems a formal approach /
Autor: Dunin-Kȩplicz, Barbara
Vydáno: (2010)

Communicating embedded systems software and design : formal methods /
Vydáno: (2010)

UML 2 semantics and applications
Vydáno: (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 /
Vydáno: (2001)

Formal languages, automata and numeration systems 2 /
Autor: Rigo, Michel
Vydáno: (2014)

The Software developer's guide
Autor: Hentzen, Whil
Vydáno: (2002)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Autor: Rigo, Michel
Vydáno: (2014)

Computers in language research
Vydáno: (1983)

Component-based software development case studies /
Autor: Lau, Kung-Kiu
Vydáno: (2004)

Changing software development learning to be agile /
Autor: Kelly, Allan, 1969-
Vydáno: (2008)

Software development rhythms harmonizing agile practices for synergy /
Autor: Lui, Kim Man
Vydáno: (2008)

Agile software development evaluating the methods for your organization /
Autor: Koch, Alan S.
Vydáno: (2005)

Software engineering architecture-driven software development /
Autor: Schmidt, Richard, 1956-
Vydáno: (2013)

Lean architecture for agile software development
Autor: Coplien, James
Vydáno: (2010)

Concepts in data structures and software development : a text for the second course in computer science /
Autor: Schneider, G. Michael
Vydáno: (1991)

Design for software a playbook for developers /
Autor: Klimczak, Erik
Vydáno: (2013)

Formalizing natural languages : the NooJ approach /
Autor: Silberztein, Max
Vydáno: (2016)

Software paradigms
Autor: Kaisler, Stephen H. (Stephen Hendrick)
Vydáno: (2005)

Metrics-driven enterprise software development effectively meeting evolving business needs /
Autor: Datta, Subhajit
Vydáno: (2007)

Two-step approaches to natural language formalisms
Autor: Morawietz, Frank, 1968-
Vydáno: (2003)

Open systems and standards for software product development
Autor: Dargan, P. A.
Vydáno: (2005)

Effective prototyping for software makers
Autor: Arnowitz, Jonathan
Vydáno: (2007)

Software in 30 days how Agile managers beat the odds, delight their customers, and leave competitors in the dust /
Autor: Schwaber, Ken
Vydáno: (2012)

Formal models, languages and applications
Vydáno: (2006)

Software estimation best practices, tools & techniques a complete guide for software project estimators /
Autor: Chemuturi, Murali, 1950-
Vydáno: (2009)

Software engineering evolution and emerging technologies /
Vydáno: (2005)

Principles of software development leadership applying project management principles to agile software development /
Autor: Whitaker, Ken, 1952-
Vydáno: (2010)

ROI of software process improvement metrics for project managers and software engineers /
Autor: Rico, David F., 1964-
Vydáno: (2004)

Coder to developer tools and strategies for delivering your software /
Autor: Gunderloy, Mike
Vydáno: (2004)

Achieving software quality through teamwork
Autor: Evans, Isabel
Vydáno: (2004)

Designing highly useable software
Autor: Cogswell, Jeffrey M., 1968-
Vydáno: (2004)

Running an agile software development project
Autor: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Vydáno: (2008)

Using aspect-oriented programming for trustworthy software development
Autor: Safonov, V. O. (Vladimir Olegovich)
Vydáno: (2008)

Static analysis of software the abstract interpretation /
Vydáno: (2012)

Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
Vydáno: (2002)

Practical guide to software quality management
Autor: Horch, John W.
Vydáno: (2003)