Cover Image

Systematic software development using VDM/

Main Author:	Jones, C. B.
Format:	Book
Published:	Englewood Cliffs, N.J. : Prentice Hall International, c1986
Series:	Prentice-Hall International series in computer science
Subjects:	Computer software > - Development

Similar Items

Systematic software development using VDM/
by: Jones, Cliff B., 1944-
Published: (1990)

Systematic software development using VDM
by: Jones, Cliff B.
Published: (1990)

VDM ʹ90. VDM and Z-Formal methods in software development : Third international symposium of VDM Europe Kiel, FRG, April 1990: Proceedings ; D. Bjorner, C. A. R. Hoare, H. Langmaack
Published: (1990)

Proof in VDM: case studies/
Published: (1998)

Formal software development from VDM to Java /
by: Charatan, Quentin.
Published: (2004)

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

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

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

VDM ʹ88, VDM - the way ahead : 2nd VDM- europe symposium, Dublin, Ireland, September 11-16, 1988 proceedings ; R. Bloomfield, L. Marshall, R. Jones
Published: (1988)

The Software developer's guide
by: Hentzen, Whil.
Published: (2002)

Aspect-oriented software development with use cases /
by: Jacobson, Ivar
Published: (2005)

Aspect-oriented software development with use cases/
by: Jacobson, Ivar
Published: (2005)

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

Changing software development learning to be agile /
by: Kelly, Allan, 1969-
Published: (2008)

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

Business patterns for software developers
by: Rednik.
Published: (2012)

Principles of software development leadership applying project management principles to agile software development /
by: Whitaker, Ken, 1952-
Published: (2010)

Running an agile software development project
by: Holcombe, W. M. L. 1944-
Published: (2008)

Head first software development /
by: Pilone, Dan.
Published: (2008)

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

Agile software development ecosystems /
by: Highsmith, James A.
Published: (2002)

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

Using aspect-oriented programming for trustworthy software development /
by: Safonov, V. O.
Published: (2008)

Using aspect-oriented programming for trustworthy software development
by: Safonov, V. O.
Published: (2008)

Component-based software development : case studies /
Published: (2004)

The software development project: planning and management/
by: Bruce, James William, 1952-
Published: (1982)

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

Software ecosystem : understanding an indispensable technology and industry /
by: Messerschmitt, David G.
Published: (2003)

Global software: : developing applications for the international market/
by: Taylor, Dave
Published: (1992)

Software system development : a gentle introduction /
by: Britton, Carol, 1947-
Published: (2003)

Software system development : a gentle introduction /
by: Britton, Carol, 1947-
Published: (2006)

Component-based software development case studies /
by: Lau, Kung-Kiu.
Published: (2004)

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

Software development rhythms harmonizing agile practices for synergy /
by: Lui, Kim Man.
Published: (2008)

Managing software development projects: formula for success/
by: Whitten, Neal
Published: (1990)

Tutorial, human factors in software development/
Published: (1985)

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

Practical software metrics for project management and process improvement/
by: Grady, Robert B.
Published: (1992)

Metrics-driven enterprise software development effectively meeting evolving business needs /
by: Datta, Subhajit.
Published: (2007)

Software modeling and design : UML, use cases, patterns, and software architectures /
by: Gomaa, Hassan
Published: (2011)

Cannot write session to /tmp/vufind_sessions/sess_l6ne3p2tmqd73tktiof0kar7n3