Constructing correct software /

Constructing correct software /

Veure altres versions (2)

Guardat en:

Dades bibliogràfiques
Autor principal:	Cooke, John (Autor)
Format:	Llibre
Idioma:	English
Publicat:	London : Springer, 2008.
Edició:	2nd ed.
Col·lecció:	Formal approaches to computing and information technology
Matèries:	Computer software > Development. Formal methods (Computer science).
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Constructing correct software /
per: Cooke, John
Publicat: (2008)

Software specification methods /
Publicat: (2006)

Domain modeling-based software engineering : a formal approach /
per: Rukian, Lu
Publicat: (2000)

Formal methods and software engineering /
Publicat: (2005)

Design patterns formalization techniques /
Publicat: (2007)

Synchronous equivalence : formal methods for embedded systems /
per: Hsieh, Harry
Publicat: (2001)

Agent technology from a formal perspective /
Publicat: (2006)

Software evolution /
Publicat: (2008)

Agile software construction /
per: Hunt, John
Publicat: (2006)

Software design : concepts and methods /
per: Sterens, Wayne P.
Publicat: (1991)

Software development : building reliable systems /
per: Hamilton, Marc
Publicat: (1999)

Software process improvement /
Publicat: (2001)

Case is software automation /
per: McClure, Carma
Publicat: (1989)

Software evolution and feedback : theory and practice /
Publicat: (2006)

Improving software organizations : from principles to practice /
per: Mathiassen, Lasr
Publicat: (2002)

Defining and deploying software processes /
per: Goodman, F. Alan
Publicat: (2006)

Successful software process improvement /
per: Grady, Robert
Publicat: (1997)

Software development rhythms : harmonizing agile practices for synergy /
per: Lui, Kim Man
Publicat: (2008)

Reducing risk with software process improvement /
per: Poulin, Louis A.
Publicat: (2005)

Outside-in software development : a practical approach to building successful stakeholder-based products /
per: Kessler, Carl
Publicat: (2008)

Why software sucks... and what you can do about it /
per: Platt, David S.
Publicat: (2007)

Data transfer using free space communication (software development) /
per: Jamilah Zainol Abidin
Publicat: (2005)

Software specification methods /
Publicat: (2006)

Verification techniques for system-level design /
per: Fujita, Masahiro
Publicat: (2008)

Constructing correct software /
per: Cooke, John

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Publicat: (2007)

Software specification and design : an engineering approach /
per: Munson, John C.
Publicat: (2006)

Foundations of algebraic specification and formal software development /
per: Sannella, Donald
Publicat: (2012)

A pragmatic introduction to the finite element method for thermal and stress analysis : with the matlab toolkit SOFEA /
per: Krysl, Petr
Publicat: (2006)

Successful software reengineering /
per: Valenti, Sal
Publicat: (2002)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1
Publicat: (2001)

Software factories : assembling applications with patterns, models, frameworks and tools /
per: Greenfield, Jack
Publicat: (2004)

Global software development handbook /
Publicat: (2007)

Software visualization : visualizing the structure, behaviour and evolution of software /
per: Diehl, Stephan
Publicat: (2007)

Agile software development with scrum /
per: Schwaber, Ken
Publicat: (2001)

Crystal clear : a human-powered methodology for small teams /
per: Cockburn, Alistair
Publicat: (2005)

InstallAnywhere tutorial and reference guide /
Publicat: (2005)

Visual basic : a programmer's guide to managing component based development /
per: Marom, Eran
Publicat: (1997)

Sistem pakar penyakit gigi/
per: Nur Ain Hassan
Publicat: (2014)

Practical software estimation : function point methods for insourced and outsourced projects /
per: Parthasarathy, M. A.
Publicat: (2007)