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