Rigorous software development : an introduction to program verification

QR Code

Rigorous software development : an introduction to program verification

Bibliographic Details
Main Author:	Almeida, Jose Bacelar (Author)
Format:	Book
Language:	English
Published:	London, U. K. ; New York : Springer , c2011
Series:	Undergraduate topics in computer science
Subjects:	Computer software > Development Computer software > Verification
Online Access:	Table of contents only Contributor biographical information Publisher description

Similar Items

Software verification and validation for practitioners and managers
by: Rakitin, Steven R.
Published: (2001)

Verification of sequential and concurrent programs
by: Apt, Krzysztof R. , 1949-, et al.
Published: (2009)

Software engineering reviews and audits
by: Summers Boyd L.
Published: (2011)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings
by: Yorav, Karen
Published: (2008)

The economics of software quality
by: Jones, Capers, et al.
Published: (2012)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The engineering of software quality
by: O'Brien, Fergus
Published: (2004)

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

Software defect prevention : concepts and implementation
by: Kane, Shridhar, et al.
Published: (2003)

Building software : a practitioner's guide
by: Krishnamurthy, Nikhilesh, et al.
Published: (2008)

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

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

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

Economics-driven software architecture
Published: (2014)

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

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

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

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

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

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

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

Enterprise-scale agile software development
by: Schiel, James
Published: (2010)

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 engineering best practices [ lessons from successful projects in the top companies
by: Jones, Capers
Published: (2010)

Software teamwork : taking ownership for success
by: Brosseau, Jim , 1960-
Published: (2008)