VDM '90 VDM and Z - formal methods in software development
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Published: |
Berlin
Springer-Verlag
c1990
|
| Series: | Lecture notes in computer science / edited by G. Goos and J. Hartmanis
|
| Subjects: |
Similar Items
Practical formal methods with VDM
by: Andrews, D. (Derek), et al.
Published: (1991)
by: Andrews, D. (Derek), et al.
Published: (1991)
Software prototyping, format methods and VDM
by: Hekmatpour, Sharam 1961-, et al.
Published: (1988)
by: Hekmatpour, Sharam 1961-, et al.
Published: (1988)
Software engineering research, management and applications
by: Lee, R. Y. (Roger Y.)
Published: (2008)
by: Lee, R. Y. (Roger Y.)
Published: (2008)
Foundations of algebraic specification and formal software development
by: Sannella, Donald 1956-, et al.
Published: (2012)
by: Sannella, Donald 1956-, et al.
Published: (2012)
An introduction to formal specification and Z
by: Potter, Ben, et al.
Published: (1996)
by: Potter, Ben, et al.
Published: (1996)
Software development rhythms harmonizing agile practices for synergy
by: Lui, Kim Man, et al.
Published: (2008)
by: Lui, Kim Man, et al.
Published: (2008)
Agile software development : evaluating the methods for your organization
by: Koch, Alan S.
Published: (2005)
by: Koch, Alan S.
Published: (2005)
Software for use a practical guide to the models and methods of usage-centered design
by: Constantine, Larry L., et al.
Published: (1999)
by: Constantine, Larry L., et al.
Published: (1999)
New trends in software methodologies, tools and techniques
by: Fujita, Hamido, et al.
Published: (2007)
by: Fujita, Hamido, et al.
Published: (2007)
New trends in software methodologies tools and techniques
by: Fujita, Hamido, et al.
Published: (2008)
by: Fujita, Hamido, et al.
Published: (2008)
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)
by: Rico, David F. 1964-, et al.
Published: (2009)
Practical software project estimation a toolkit for estimating software development effort & duration
by: Hill, Peter R.
Published: (2011)
by: Hill, Peter R.
Published: (2011)
Free/open source software development
by: Koch, Stefan
Published: (2005)
by: Koch, Stefan
Published: (2005)
Software development an open source approach
by: De Silva, Chamindra, et al.
Published: (2011)
by: De Silva, Chamindra, et al.
Published: (2011)
Successful software reengineering
by: Valenti, Sal , 1956-
Published: (2002)
by: Valenti, Sal , 1956-
Published: (2002)
Software estimation best practices, tools & techniques a complete guide for software project estimators
by: Chemuturi, Murali 1950-
Published: (2009)
by: Chemuturi, Murali 1950-
Published: (2009)
Know all about software [ types, architecture, quality, development & engineering
by: Osborn, Temeka
Published: (2014)
by: Osborn, Temeka
Published: (2014)
Software evolution
by: Demeyer, Serge, et al.
Published: (2008)
by: Demeyer, Serge, et al.
Published: (2008)
Software paradigms
by: Kaisler, Stephen H.
Published: (2005)
by: Kaisler, Stephen H.
Published: (2005)
Software design
by: Budgen, David
Published: (2003)
by: Budgen, David
Published: (2003)
Rigorous software development an introduction to program verification
by: Almeida, Jose Bacelar
Published: (2011)
by: Almeida, Jose Bacelar
Published: (2011)
Six sigma software development
by: Tayntor, Christine B.
Published: (2007)
by: Tayntor, Christine B.
Published: (2007)
Flexible, reliable software : using patterns and agile development
by: Christensen, Henrik B.
Published: (2010)
by: Christensen, Henrik B.
Published: (2010)
Enterprise-scale agile software development
by: Schiel, James
Published: (2010)
by: Schiel, James
Published: (2010)
Economics-driven software architecture
Published: (2014)
Published: (2014)
Formal specification using Z
by: Lightfoot, David 1951-
Published: (2001)
by: Lightfoot, David 1951-
Published: (2001)
Software product line engineering foundations, principles, and techniques
by: Pohl, Klaus 1960-, et al.
Published: (2005)
by: Pohl, Klaus 1960-, et al.
Published: (2005)
The programmer's apprentice
by: Rich, Charles 1951-, et al.
Published: (1990)
by: Rich, Charles 1951-, et al.
Published: (1990)
Cross-platform softwares and applications
by: Martins, Kam
Published: (2014)
by: Martins, Kam
Published: (2014)
Generating software from specifications
by: Waite, W. M. (William McCastline), et al.
Published: (2006)
by: Waite, W. M. (William McCastline), et al.
Published: (2006)
Secure and resilient software development
by: Merkow, Mark S., et al.
Published: (2010)
by: Merkow, Mark S., et al.
Published: (2010)
Secure software design
by: Richardson, Theodor, et al.
Published: (2013)
by: Richardson, Theodor, et al.
Published: (2013)
Certifiable software applications 2 support processes
by: Boulanger, Jean-Louis
Published: (2017)
by: Boulanger, Jean-Louis
Published: (2017)
Certifiable software applications 1 main processes
by: Boulanger, Jean-Louis
Published: (2016)
by: Boulanger, Jean-Louis
Published: (2016)
Software ecosystem understaning an indispensable technology and industry
by: Messerschmitt, David G., et al.
Published: (2007)
by: Messerschmitt, David G., et al.
Published: (2007)
Software requirements & specifications a lexicon of practice, principles and prejudices
by: Jackson, Michael J. (Michael James)
Published: (1995)
by: Jackson, Michael J. (Michael James)
Published: (1995)
Software project management
by: Cotterell, Mike, et al.
Published: (2002)
by: Cotterell, Mike, et al.
Published: (2002)
Software project management
by: Hughes, Bob, et al.
Published: (2006)
by: Hughes, Bob, et al.
Published: (2006)
Formal engineering for industrial software development using the SOFL method
by: Liu, Shaoying 1960-
Published: (2004)
by: Liu, Shaoying 1960-
Published: (2004)
Software modeling and design UML, use cases, patterns, and software architectures
by: Gomaa, Hassan
Published: (2011)
by: Gomaa, Hassan
Published: (2011)