Software reviews and audit handbook

Software reviews and audit handbook

Saved in:

Bibliographic Details
Main Author:	Hollocker, Charles P
Format:	Book
Published:	New York Wiley l990
Series:	Wiley series in software engineering practice
Subjects:	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 engineering reviews and audits
by: Summers, Boyd L.
Published: (2011)

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)

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

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

Software engineering metrics
Published: (1993)

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)

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

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

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

Guidance for the verification and validation of neural networks
by: Pullum, Laura L.
Published: (2007)

Model checking and artificial intelligence 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
Published: (2007)

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

Validating and verifying knowledge-based systems

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

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael 1917-
Published: (2008)

Software measurement
Published: (1996)

Application software
by: Curtin, Dennis P
Published: (1990)

Application software
by: Curtin, Dennis P
Published: (1990)

Verification and validation in systems engineering assessing UML/SysML design models
Published: (2010)

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

Software
Published: (1985)

Software
Published: (1985)

Software measurement
Published: (1996)

Software, an emerging industry
Published: (1985)

Modeling and verification of real-time systems formalisms and software tools
Published: (2008)

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

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

Auditing software development a manual with case studies
by: Vallabhaneni, S. Rao
Published: (1990)

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

Computer software
Published: (1990)

Elements of software project management
by: Sudhakar, G. P.
Published: (2010)

Software quality and software testing in Internet times
Published: (2002)

Software testing testing across the entire software development life cycle
by: Everett, Gerald D. 1943-
Published: (2007)

Microcomputer software step by step
by: Kalmon, Ted
Published: (1990)