Constructing correct software /

Constructing correct software /

Show other versions (2)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Cooke, John (Author)
Format:	Bog
Sprog:	English
Udgivet:	London : Springer, 2008.
Udgivelse:	2nd ed.
Serier:	Formal approaches to computing and information technology
Fag:	Computer software > Development. Formal methods (Computer science).
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Constructing correct software /
af: Cooke, John
Udgivet: (2008)

Software specification methods /
Udgivet: (2006)

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

Formal methods and software engineering /
Udgivet: (2005)

Design patterns formalization techniques /
Udgivet: (2007)

Synchronous equivalence : formal methods for embedded systems /
af: Hsieh, Harry
Udgivet: (2001)

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

Software evolution /
Udgivet: (2008)

Agile software construction /
af: Hunt, John
Udgivet: (2006)

Software design : concepts and methods /
af: Sterens, Wayne P.
Udgivet: (1991)

Software development : building reliable systems /
af: Hamilton, Marc
Udgivet: (1999)

Software process improvement /
Udgivet: (2001)

Case is software automation /
af: McClure, Carma
Udgivet: (1989)

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

Improving software organizations : from principles to practice /
af: Mathiassen, Lasr
Udgivet: (2002)

Defining and deploying software processes /
af: Goodman, F. Alan
Udgivet: (2006)

Successful software process improvement /
af: Grady, Robert
Udgivet: (1997)

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

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

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

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

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

Software specification methods /
Udgivet: (2006)

Verification techniques for system-level design /
af: Fujita, Masahiro
Udgivet: (2008)

Constructing correct software /
af: 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 /
Udgivet: (2007)

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

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

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

Successful software reengineering /
af: Valenti, Sal
Udgivet: (2002)

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

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

Global software development handbook /
Udgivet: (2007)

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

Agile software development with scrum /
af: Schwaber, Ken
Udgivet: (2001)

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

InstallAnywhere tutorial and reference guide /
Udgivet: (2005)

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

Sistem pakar penyakit gigi/
af: Nur Ain Hassan
Udgivet: (2014)

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