Formal software development from VDM to Java /
Zapisane w:
1. autor: | Charatan, Quentin |
---|---|
Korporacja: | ebrary, Inc |
Kolejni autorzy: | Kans, Aaron |
Format: | Elektroniczne E-book |
Język: | angielski |
Wydane: |
Basingstoke :
Palgrave Macmillan,
2004.
|
Hasła przedmiotowe: | |
Dostęp online: | An electronic book accessible through the World Wide Web; click to view |
Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Podobne zapisy
Software specification methods
Wydane: (2006)
Wydane: (2006)
Formal methods applied to complex systems : implementation of the B method /
Wydane: (2014)
Wydane: (2014)
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
od: Drusinsky, Doron
Wydane: (2006)
od: Drusinsky, Doron
Wydane: (2006)
Formal method industrial use from model to the code /
Wydane: (2012)
Wydane: (2012)
Teamwork in multi-agent systems a formal approach /
od: Dunin-Kȩplicz, Barbara
Wydane: (2010)
od: Dunin-Kȩplicz, Barbara
Wydane: (2010)
Communicating embedded systems software and design : formal methods /
Wydane: (2010)
Wydane: (2010)
UML 2 semantics and applications
Wydane: (2009)
Wydane: (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 /
Wydane: (2001)
Wydane: (2001)
Formal languages, automata and numeration systems 2 /
od: Rigo, Michel
Wydane: (2014)
od: Rigo, Michel
Wydane: (2014)
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
od: Rigo, Michel
Wydane: (2014)
od: Rigo, Michel
Wydane: (2014)
Computers in language research
Wydane: (1983)
Wydane: (1983)
The Software developer's guide
od: Hentzen, Whil
Wydane: (2002)
od: Hentzen, Whil
Wydane: (2002)
Component-based software development case studies /
od: Lau, Kung-Kiu
Wydane: (2004)
od: Lau, Kung-Kiu
Wydane: (2004)
Changing software development learning to be agile /
od: Kelly, Allan, 1969-
Wydane: (2008)
od: Kelly, Allan, 1969-
Wydane: (2008)
Software development rhythms harmonizing agile practices for synergy /
od: Lui, Kim Man
Wydane: (2008)
od: Lui, Kim Man
Wydane: (2008)
Agile software development evaluating the methods for your organization /
od: Koch, Alan S.
Wydane: (2005)
od: Koch, Alan S.
Wydane: (2005)
Software engineering architecture-driven software development /
od: Schmidt, Richard, 1956-
Wydane: (2013)
od: Schmidt, Richard, 1956-
Wydane: (2013)
Formalizing natural languages : the NooJ approach /
od: Silberztein, Max
Wydane: (2016)
od: Silberztein, Max
Wydane: (2016)
Lean architecture for agile software development
od: Coplien, James
Wydane: (2010)
od: Coplien, James
Wydane: (2010)
Concepts in data structures and software development : a text for the second course in computer science /
od: Schneider, G. Michael
Wydane: (1991)
od: Schneider, G. Michael
Wydane: (1991)
Design for software a playbook for developers /
od: Klimczak, Erik
Wydane: (2013)
od: Klimczak, Erik
Wydane: (2013)
Software paradigms
od: Kaisler, Stephen H. (Stephen Hendrick)
Wydane: (2005)
od: Kaisler, Stephen H. (Stephen Hendrick)
Wydane: (2005)
Two-step approaches to natural language formalisms
od: Morawietz, Frank, 1968-
Wydane: (2003)
od: Morawietz, Frank, 1968-
Wydane: (2003)
Metrics-driven enterprise software development effectively meeting evolving business needs /
od: Datta, Subhajit
Wydane: (2007)
od: Datta, Subhajit
Wydane: (2007)
Formal models, languages and applications
Wydane: (2006)
Wydane: (2006)
Open systems and standards for software product development
od: Dargan, P. A.
Wydane: (2005)
od: Dargan, P. A.
Wydane: (2005)
Effective prototyping for software makers
od: Arnowitz, Jonathan
Wydane: (2007)
od: Arnowitz, Jonathan
Wydane: (2007)
Software in 30 days how Agile managers beat the odds, delight their customers, and leave competitors in the dust /
od: Schwaber, Ken
Wydane: (2012)
od: Schwaber, Ken
Wydane: (2012)
Software estimation best practices, tools & techniques a complete guide for software project estimators /
od: Chemuturi, Murali, 1950-
Wydane: (2009)
od: Chemuturi, Murali, 1950-
Wydane: (2009)
Software engineering evolution and emerging technologies /
Wydane: (2005)
Wydane: (2005)
Principles of software development leadership applying project management principles to agile software development /
od: Whitaker, Ken, 1952-
Wydane: (2010)
od: Whitaker, Ken, 1952-
Wydane: (2010)
Coder to developer tools and strategies for delivering your software /
od: Gunderloy, Mike
Wydane: (2004)
od: Gunderloy, Mike
Wydane: (2004)
ROI of software process improvement metrics for project managers and software engineers /
od: Rico, David F., 1964-
Wydane: (2004)
od: Rico, David F., 1964-
Wydane: (2004)
Achieving software quality through teamwork
od: Evans, Isabel
Wydane: (2004)
od: Evans, Isabel
Wydane: (2004)
Designing highly useable software
od: Cogswell, Jeffrey M., 1968-
Wydane: (2004)
od: Cogswell, Jeffrey M., 1968-
Wydane: (2004)
Running an agile software development project
od: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Wydane: (2008)
od: Holcombe, W. M. L. (William Michael Lloyd), 1944-
Wydane: (2008)
Using aspect-oriented programming for trustworthy software development
od: Safonov, V. O. (Vladimir Olegovich)
Wydane: (2008)
od: Safonov, V. O. (Vladimir Olegovich)
Wydane: (2008)
Knowledge-based software engineering proceedings of the fifth Joint Conference on Knowledge-Based Software Engineering /
Wydane: (2002)
Wydane: (2002)
Static analysis of software the abstract interpretation /
Wydane: (2012)
Wydane: (2012)
Practical guide to software quality management
od: Horch, John W.
Wydane: (2003)
od: Horch, John W.
Wydane: (2003)
Podobne zapisy
-
Software specification methods
Wydane: (2006) -
Formal methods applied to complex systems : implementation of the B method /
Wydane: (2014) -
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
od: Drusinsky, Doron
Wydane: (2006) -
Formal method industrial use from model to the code /
Wydane: (2012) -
Teamwork in multi-agent systems a formal approach /
od: Dunin-Kȩplicz, Barbara
Wydane: (2010)