Systematic software development using VDM

Systematic software development using VDM

Saved in:

Bibliographic Details
Main Author:	Jones, C. B. 1944- Cliff B.
Format:	Book
Published:	Englewood Cliffs, N.J. Prentice Hall International 1986
Series:	Prentice-Hall International series in computer science
Subjects:	Computer software > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Introduction to VDM
by: Woodman, Mark
Published: (1993)

VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990
Published: (1990)

Software development a rigorous approach
by: Jones, C. B. 1944- Cliff B.
Published: (1980)

Practical formal methods with VDM
by: Andrews, Derek
Published: (1991)

Formal methods fact file VDM and Z
by: Harry, Andrew
Published: (1996)

Proof in VDM a practitioner's guide
Published: (1994)

An Introduction to formal specification with Z and VDM
by: Sheppard, Deri
Published: (1995)

Software development an open source approach
by: Tucker, Allen B.
Published: (2011)

Systematic software testing
by: Craig, Rick D 1955- (Rick David)
Published: (2002)

Developing international software
Published: (2003)

Dynamics of software development
by: McCarthy, Jim
Published: (2001)

Software development manual for the planning, realization and installation of DP systems
by: End, Wolfgang
Published: (1983)

Rigorous software development an introduction to program verification
Published: (2011)

An intergrated approach to software development
by: Abbott, Russell J
Published: (1985)

Developing and localizing international software
by: Madell, Tom
Published: (1994)

The PCMCIA software developer's handbook
by: Beatty, Dana L
Published: (1996)

Integrating tools for software development
by: Serbanati, Luca Dan
Published: (1993)

Agile software development evaluating the methods for your organization
by: Koch, Alan S
Published: (2005)

New paradigms for software development tutorial
Published: (1986)

Practical software development techniques tools and techniques for building enterprise software
by: Crookshanks, Edward
Published: (2014)

Lean architecture for agile software development
by: Coplien, James O.
Published: (2010)

Software measurement
Published: (1996)

Software requirements using the unified process a practical approach
by: Windle, Daniel R.
Published: (2003)

Cultivating successful software development a practitioner's view
by: Donaldson, Scott E
Published: (1997)

Organizational patterns of agile software development
by: Coplien, James O
Published: (2005)

The cleanroom approach to quality software development
by: Dyer, Michael 1933-
Published: (1992)

Six Sigma software development
by: Tayntor, Christine B.
Published: (2003)

Software specification and design an engineering approach
by: Munson, John C
Published: (2006)

Design and use of software architectures
by: Bosch, Jan
Published: (2000)

Agent-based software development
by: Luck, Michael Michael M
Published: (2004)

Software and system development using virtual platforms full-system simulation with wind river Simics
by: Aarno, Daniel
Published: (2015)

Software engineering principles and practice
by: Vliet, J. C. Van
Published: (1993)

Software testing testing across the entire software development life cycle
by: Everett, Gerald D. 1943-
Published: (2007)

Modern software development using Java
by: Tymann, Paul T.
Published: (2008)

Secure and resilient software development
by: Merkow, Mark S.
Published: (2010)

Software development by LL(1) syntax description
Published: (1992)

Software reengineering
by: Arnold, Robert S
Published: (1993)

Software design
by: Budgen, D. David
Published: (2003)

Software design
by: Budgen, D.(David)
Published: (1994)

Software creativity
by: Glass, Robert L
Published: (1995)