Practical formal methods with VDM

QR Code

Practical formal methods with VDM

Bibliographic Details
Main Authors:	Andrews, D. (Derek) (Author), Ince, Darrel (Author)
Format:	Book
Published:	Berkshire, England McGraw-Hill c1991
Subjects:	Computer software > Development

Similar Items

Software prototyping, format methods and VDM
by: Hekmatpour, Sharam 1961-, et al.
Published: (1988)

VDM '90 VDM and Z - formal methods in software development
by: Bjorner, D. (Dines) 1937-, et al.
Published: (1990)

An introduction to formal specification and Z
by: Potter, Ben, et al.
Published: (1996)

Foundations of algebraic specification and formal software development
by: Sannella, Donald 1956-, et al.
Published: (2012)

Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001)

Developing distributed and E-commerce applications
by: Ince, Darrel
Published: (2004)

Formal engineering for industrial software development using the SOFL method
by: Liu, Shaoying 1960-
Published: (2004)

The business value of agile software methods maximizing ROI with just-in-time processes and documentation
by: Rico, David F. 1964-, et al.
Published: (2009)

Software estimation best practices, tools & techniques a complete guide for software project estimators
by: Chemuturi, Murali 1950-
Published: (2009)

Practical software project estimation a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)

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

Software engineering best practices lessons from successful projects in the top companies
by: Jones, Capers
Published: (2010)

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

Software requirements & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael J. (Michael James)
Published: (1995)

Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)

Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)

Successful software reengineering
by: Valenti, Sal , 1956-
Published: (2002)

Amazing android apps for dummies
by: Begun, Daniel A.
Published: (2011)

Software product line engineering foundations, principles, and techniques
by: Pohl, Klaus 1960-, et al.
Published: (2005)

Error-free software know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)

Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)

Rigorous software development an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)

Generating software from specifications
by: Waite, W. M. (William McCastline), et al.
Published: (2006)

Win32 programming
by: Rector, Brent, et al.
Published: (1997)

Software evolution
by: Demeyer, Serge, et al.
Published: (2008)

Software paradigms
by: Kaisler, Stephen H.
Published: (2005)

Economics-driven software architecture
Published: (2014)

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

Software process improvement practical guidelines for business success
by: Zahran, Sami
Published: (1998)

Secure and resilient software requirements, test cases, and testing methods
by: Merkow, Mark S., et al.
Published: (2012)

Software for use a practical guide to the models and methods of usage-centered design
by: Constantine, Larry L., et al.
Published: (1999)

UML and the unified process
by: Favre, Liliana
Published: (2003)

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

Six sigma software development
by: Tayntor, Christine B.
Published: (2007)

Cloud computing based projects using distributed architecture
by: Das Gupta, Pranab Kumar, et al.
Published: (2013)

The programmer's apprentice
by: Rich, Charles 1951-, et al.
Published: (1990)

Perspectives on free and open source software [electronic resource]
by: Feller, Joseph 1972-
Published: (2005)

Cross-platform softwares and applications
by: Martins, Kam
Published: (2014)

Free/open source software development
by: Koch, Stefan
Published: (2005)

Software development an open source approach
by: De Silva, Chamindra, et al.
Published: (2011)