Cover Image

Constructing correct software : the basics /

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actu...

Full description

Bibliographic Details
Main Author:	Cooke, John, 1947-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London ; New York : Springer, [1998]
Series:	Formal approaches to computing and information technology.
Subjects:	Computer software > Development. Programm. Korrektheit. Softwareentwicklung. Programmverifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Programming methodology /
Published: (2003)

Software development on a leash /
by: Birmingham, David C., et al.
Published: (2002)

A theory and practice of program development /
by: Andrews, D. (Derek)
Published: (1997)

On a method of multiprogramming /
by: Feijen, W. H. J.
Published: (1999)

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /
Published: (2004)

Advanced lectures on software engineering : LASER summer school 2007/2008 /
Published: (2010)

Empirical methods and studies in software engineering : experiences from ESERNET /
Published: (2003)

Software product lines : second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 : proceedings /
Published: (2002)

Component-based software quality : methods and techniques /
Published: (2003)

Software engineering and middleware : third international workshop, SEM 2002, Orlando, FL, USA, May 20-21, 2002 : revised papers /
Published: (2003)

Development and evolution of software architectures for product families : second international ESPRIT ARES workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings /
Published: (1998)

Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers /
Published: (2002)

Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings /
Published: (2001)

Software process improvement : 11th European conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings /
Published: (2004)

Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /
Published: (1986)

Modular specification and verification of object-oriented programs /
by: Müller, Peter, 1972-
Published: (2002)

Studies of software design : ICSE '93 workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers /
Published: (1996)

Building tightly integrated software development environments : the IPSEN approach /
Published: (1996)

Generative and transformational techniques in software engineering III : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
Published: (2011)

Computing fundamentals : the theory and practice of software design with BlackBox Component Builder /
by: Warford, J. Stanley, 1944-
Published: (2002)

The Digital guide to software development /
Published: (1989)

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings /
Published: (1980)

Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers /
Published: (2002)

Modern software tools for scientific computing /
Published: (1997)

Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /
Published: (2001)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Experimental algorithmics : from algorithm design to robust and efficient software /
Published: (2002)

Software process : principles, methodology, and technology /
Published: (1999)

Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings /
Published: (2002)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings /
Published: (2004)

KORSO : methods, languages, and tools for the construction of correct software : final report /
Published: (1995)

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers /
Published: (2001)

A friendly guide to software development : what you should know without being a Developer /
by: Portella, Leticia
Published: (2022)

Software frameworks and embedded control systems /
by: Pasetti, Alessandro
Published: (2002)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Proceedings of the ... International Software Process Workshop.

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdańsk, Poland, September 27-29, 2006 : proceedings /
Published: (2006)

Software reliability methods /
by: Peled, Doron A., 1962-
Published: (2001)

Software composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
Published: (2010)