Constructing correct software /

Constructing correct software /

Toon andere (2) versies

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Cooke, John (Auteur)
Formaat:	Boek
Taal:	English
Gepubliceerd in:	London : Springer, 2008.
Editie:	2nd ed.
Reeks:	Formal approaches to computing and information technology
Onderwerpen:	Computer software > Development. Formal methods (Computer science).
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Constructing correct software /
door: Cooke, John
Gepubliceerd in: (2008)

Software specification methods /
Gepubliceerd in: (2006)

Domain modeling-based software engineering : a formal approach /
door: Rukian, Lu
Gepubliceerd in: (2000)

Formal methods and software engineering /
Gepubliceerd in: (2005)

Design patterns formalization techniques /
Gepubliceerd in: (2007)

Synchronous equivalence : formal methods for embedded systems /
door: Hsieh, Harry
Gepubliceerd in: (2001)

Agent technology from a formal perspective /
Gepubliceerd in: (2006)

Software evolution /
Gepubliceerd in: (2008)

Agile software construction /
door: Hunt, John
Gepubliceerd in: (2006)

Software design : concepts and methods /
door: Sterens, Wayne P.
Gepubliceerd in: (1991)

Software development : building reliable systems /
door: Hamilton, Marc
Gepubliceerd in: (1999)

Software process improvement /
Gepubliceerd in: (2001)

Case is software automation /
door: McClure, Carma
Gepubliceerd in: (1989)

Software evolution and feedback : theory and practice /
Gepubliceerd in: (2006)

Improving software organizations : from principles to practice /
door: Mathiassen, Lasr
Gepubliceerd in: (2002)

Defining and deploying software processes /
door: Goodman, F. Alan
Gepubliceerd in: (2006)

Successful software process improvement /
door: Grady, Robert
Gepubliceerd in: (1997)

Software development rhythms : harmonizing agile practices for synergy /
door: Lui, Kim Man
Gepubliceerd in: (2008)

Reducing risk with software process improvement /
door: Poulin, Louis A.
Gepubliceerd in: (2005)

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

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

Data transfer using free space communication (software development) /
door: Jamilah Zainol Abidin
Gepubliceerd in: (2005)

Software specification methods /
Gepubliceerd in: (2006)

Verification techniques for system-level design /
door: Fujita, Masahiro
Gepubliceerd in: (2008)

Constructing correct software /
door: 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 /
Gepubliceerd in: (2007)

Software specification and design : an engineering approach /
door: Munson, John C.
Gepubliceerd in: (2006)

Foundations of algebraic specification and formal software development /
door: Sannella, Donald
Gepubliceerd in: (2012)

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

Successful software reengineering /
door: Valenti, Sal
Gepubliceerd in: (2002)

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

Software factories : assembling applications with patterns, models, frameworks and tools /
door: Greenfield, Jack
Gepubliceerd in: (2004)

Global software development handbook /
Gepubliceerd in: (2007)

Software visualization : visualizing the structure, behaviour and evolution of software /
door: Diehl, Stephan
Gepubliceerd in: (2007)

Agile software development with scrum /
door: Schwaber, Ken
Gepubliceerd in: (2001)

Crystal clear : a human-powered methodology for small teams /
door: Cockburn, Alistair
Gepubliceerd in: (2005)

InstallAnywhere tutorial and reference guide /
Gepubliceerd in: (2005)

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

Sistem pakar penyakit gigi/
door: Nur Ain Hassan
Gepubliceerd in: (2014)

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