Software engineering reviews and audits

Software engineering reviews and audits

Saved in:

Bibliographic Details
Main Author:	Summers, Boyd L.
Format:	Book
Published:	Boca Raton, FL CRC Press/Auerbach Publications 2011
Subjects:	Software engineering Computer software > Verification Computer software > Validation
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software reviews and audit handbook
by: Hollocker, Charles P
Published: (1990)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Verification and validation of rule-based expert systems
by: Smith, Suzanne 1953-
Published: (1993)

Software engineering metrics
Published: (1993)

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

Systems and software verification model-checking techniques and tools
Published: (2001)

Program verification
by: Francez, Nissim
Published: (1992)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Program verification fundamental issues in computer science
Published: (1993)

Software engineering concepts
by: Fairley, R. E. 1937- Richard E.
Published: (1985)

Trustworthy global computing international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
Published: (2005)

Effective methods for software and systems integration
by: Summers, Boyd L.
Published: (2013)

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

Software engineering principles and practice
by: Vliet, Hans Van
Published: (2000)

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

Software metrics A Rigorous and practical approach
by: Fenton, Norman E
Published: (1997)

Systems methodology for software
by: Rus, Teodor
Published: (1993)

Software measurement
Published: (1996)

Software engineering with C++ and CASE tools
by: Pont, Michael J
Published: (1996)

Engineering quality software a review of current practices, standards, and guidelines, including new methods and development tools
by: Smith, David John l943-
Published: (1989)

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

Verification of object-oriented software the KeY approach
Published: (2007)

Cleanroom software engineering a reader
Published: (1996)

Modern software review techniques and technologies
by: Wong, Yuk Kuen 1973-
Published: (2006)

Software metrics a rigorous approach
by: Fenton, Norman E. 1956-
Published: (1991)

Specification of software systems
by: Alagar, Vangalur S. 1940-
Published: (1998)

Validation of chromatography data systems meeting business and regulatory requirements
by: McDowall, R. D.
Published: (2005)

Practical Implementation of software metrics
by: Goodman, Paul 1954-
Published: (1993)

Iterative software engineering for multiagent systems the MASSIVE method
by: Lind, Jurgen 1968-
Published: (2001)

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

Software excellence
by: Shiller, Larry
Published: (1990)

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

SOFTWARE ENGINEERING
by: Sommerville, Ian 1951-
Published: (2011)

Software engineering
by: Sommerville, Ian
Published: (2004)

Software engineering
by: Jensen, Randall W
Published: (1979)

Software engineering
by: Sommerville, Ian
Published: (1985)

Software engineering
Published: (2005)