Explore: *validation
Discover books, insights, and more — all in one place.
Learn more about *validation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “%2Bvalidation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Tutorial, software testing & validation techniques
By William E. Howden
“Tutorial, software testing & validation techniques” Metadata:
- Title: ➤ Tutorial, software testing & validation techniques
- Author: William E. Howden
- Language: English
- Number of Pages: Median: 499
- Publisher: ➤ IEEE Computer Society Press - Available from IEEE Service Center - Available from IEEE Computer Society
- Publish Date: 1981
- Publish Location: ➤ Los Alamitos, CA - Piscataway, NJ - [New York]
“Tutorial, software testing & validation techniques” Subjects and Themes:
- Subjects: Computer software - Validation - Testing - Essais - Logiciels
Edition Identifiers:
- The Open Library ID: OL3793040M
- Online Computer Library Center (OCLC) ID: 8025499
- Library of Congress Control Number (LCCN): 81081431
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Tutorial, software testing & validation techniques at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Communication, entretien, relation d'aide et validation
By Margot Phaneuf
“Communication, entretien, relation d'aide et validation” Metadata:
- Title: ➤ Communication, entretien, relation d'aide et validation
- Author: Margot Phaneuf
- Language: fre
- Number of Pages: Median: 634
- Publisher: Chenelière/McGraw-Hill
- Publish Date: 2002
- Publish Location: Montréal, Qué
“Communication, entretien, relation d'aide et validation” Subjects and Themes:
- Subjects: ➤ Aspect psychologique - Communication en soins infirmiers - Comportement d'aide - Counseling - Malades - Relations infirmière-patient - Soins infirmiers - Validation (Psychothérapie) - Nurse and patient - Communication in nursing - Helping behavior - Sick - Counseling of - Nursing - Psychological aspects - Validation therapy - Communication - Manuel - Relation infirmière-patient - Relation d'aide - Entretien - Validation - Résolution de problème - Technique de communication - Évaluation
Edition Identifiers:
- The Open Library ID: OL21975279M
- All ISBNs: 9782894618578 - 2894618573
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Communication, entretien, relation d'aide et validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Software validation
By Symposium on Software Validation (1983 Darmstadt, Germany)
“Software validation” Metadata:
- Title: Software validation
- Author: ➤ Symposium on Software Validation (1983 Darmstadt, Germany)
- Language: English
- Number of Pages: Median: 375
- Publisher: ➤ Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. - Elsevier Science Publishers B.V. for Gesellschaft für Mathematik und Datemverarbeitung, Bonn
- Publish Date: 1984
- Publish Location: ➤ New York - Amsterdam - New York, N.Y., U.S.A
“Software validation” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Testing - Validation - Verification - Computer programs - Literary collections
Edition Identifiers:
- The Open Library ID: OL2851340M
- Online Computer Library Center (OCLC) ID: 10997386
- Library of Congress Control Number (LCCN): 84013659
- All ISBNs: 9780444875938 - 044487593X
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Software validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4GAMP Good Practice Guide
By ISPE
“GAMP Good Practice Guide” Metadata:
- Title: GAMP Good Practice Guide
- Author: ISPE
- Language: English
- Publisher: ➤ ISPE - International Society for Pharmaceutical Enginnering - Ispe Headquarters
- Publish Date: 2005
- Publish Location: Tampa, FL
“GAMP Good Practice Guide” Subjects and Themes:
- Subjects: ➤ Pharmaceutical industry - Quality control - Data processing - Databases - Standards - Pharmaceutical technology - Automation - Medical laboratories - Validity - Validation - Process control
Edition Identifiers:
- The Open Library ID: ➤ OL12329453M - OL17905454M - OL12329450M - OL12329449M - OL12329454M - OL18495496M - OL19708710M - OL12329452M
- Online Computer Library Center (OCLC) ID: 59262935 - 71334639 - 77816870
- Library of Congress Control Number (LCCN): 2005285116 - 2006278575 - 2006277178
- All ISBNs: ➤ 9781931879279 - 9781931879392 - 1931879257 - 9781931879439 - 1931879435 - 1931879397 - 9781931879255 - 9781931879422 - 1931879427 - 1931879273
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find GAMP Good Practice Guide at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Specification by example
By Gojko Adzic
“Specification by example” Metadata:
- Title: Specification by example
- Author: Gojko Adzic
- Language: English
- Number of Pages: Median: 270
- Publisher: ➤ Manning - Manning Publications Co. LLC
- Publish Date: 2011
- Publish Location: Shelter Island, N.Y
“Specification by example” Subjects and Themes:
- Subjects: ➤ Development - Software compatibility - Validation - Verification - Testing - Computer software - Computer software, development - Computer software, validation - Case studies
Edition Identifiers:
- The Open Library ID: OL34983294M - OL25172470M
- Online Computer Library Center (OCLC) ID: 694395409 - 772189834
- Library of Congress Control Number (LCCN): 2011499864
- All ISBNs: 1638351368 - 9781638351368 - 9781617290084 - 1617290084
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Specification by example at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Web Security Testing Cookbook
By Hope, Paco
“Web Security Testing Cookbook” Metadata:
- Title: Web Security Testing Cookbook
- Author: Hope, Paco
- Language: English
- Number of Pages: Median: 285
- Publisher: ➤ O'Reilly Media - O'Reilly Media, Incorporated
- Publish Date: 2008 - 2009
“Web Security Testing Cookbook” Subjects and Themes:
- Subjects: Validation - Web sites - Security measures - Computer software - Computer software, validation
Edition Identifiers:
- The Open Library ID: OL36714054M - OL36710538M - OL36800503M - OL23135364M
- Online Computer Library Center (OCLC) ID: 297573828
- All ISBNs: ➤ 9780596514839 - 0596803273 - 9781306816199 - 130681619X - 0596514832 - 9780596554033 - 0596554036 - 9780596803278
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Web Security Testing Cookbook at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Modeling human behavior with integrated cognitive architectures
By Kevin A. Gluck and Richard W. Pew
“Modeling human behavior with integrated cognitive architectures” Metadata:
- Title: ➤ Modeling human behavior with integrated cognitive architectures
- Authors: Kevin A. GluckRichard W. Pew
- Language: English
- Number of Pages: Median: 464
- Publisher: ➤ Taylor & Francis Group - Lawrence Erlbaum Associates
- Publish Date: 2005 - 2006
“Modeling human behavior with integrated cognitive architectures” Subjects and Themes:
- Subjects: ➤ Human behavior - Validation - Organizational behavior - Expert systems (Computer science) - Strategy - Simulation methods - Military - Military Psychology - HISTORY - Psychology, military - Psychologie militaire - Comportement humain - Méthodes de simulation - Comportement organisationnel - Systèmes experts (Informatique)
Edition Identifiers:
- The Open Library ID: ➤ OL34589009M - OL33791483M - OL33791468M - OL33733528M - OL33569923M - OL7938231M
- Online Computer Library Center (OCLC) ID: 59360178 - 70782994
- Library of Congress Control Number (LCCN): 2005040143
- All ISBNs: ➤ 1135610444 - 1135610460 - 0805850481 - 9781135610494 - 9781135610449 - 1135610495 - 9781410613257 - 9780805850482 - 1410613259 - 9781135610463 - 1135610487 - 9781135610487
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modeling human behavior with integrated cognitive architectures at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Reactive systems
By Luca Aceto
“Reactive systems” Metadata:
- Title: Reactive systems
- Author: Luca Aceto
- Language: English
- Number of Pages: Median: 284
- Publisher: Cambridge University Press
- Publish Date: 2003 - 2007 - 2011
- Publish Location: Cambridge - New York
“Reactive systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - System design - Mathematical models - Computer software, verification - Computer science, mathematics
Edition Identifiers:
- The Open Library ID: OL40463504M - OL40499624M - OL40784426M - OL17238091M - OL34459279M
- Online Computer Library Center (OCLC) ID: 123374684
- Library of Congress Control Number (LCCN): 2007282029
- All ISBNs: ➤ 9780511333446 - 0511333447 - 9780511814105 - 0511335350 - 0511334125 - 9780511334122 - 9780511335358 - 9780521875462 - 0521875463 - 0511814100
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Reactive systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Validation, verification, and testing of computer software
By W. Richards Adrion
“Validation, verification, and testing of computer software” Metadata:
- Title: ➤ Validation, verification, and testing of computer software
- Author: W. Richards Adrion
- Language: English
- Number of Pages: Median: 57
- Publisher: ➤ For sale by Supt. of Docs., U.S. G.P.O. - U.S. Dept. of Commerce, National Bureau of Standards
- Publish Date: 1981
- Publish Location: Washington, D.C
“Validation, verification, and testing of computer software” Subjects and Themes:
- Subjects: Computer programs - Computer software - Testing - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL17652132M - OL13603922M - OL17798656M - OL4236134M
- Online Computer Library Center (OCLC) ID: 7365204
- Library of Congress Control Number (LCCN): 80600199
Access and General Info:
- First Year Published: 1981
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Validation, verification, and testing of computer software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Proceedings
By Comp Euro (5th 1991 Bologna, Italy)
“Proceedings” Metadata:
- Title: Proceedings
- Author: ➤ Comp Euro (5th 1991 Bologna, Italy)
- Language: English
- Number of Pages: Median: 899
- Publisher: ➤ Ieee Computer Society - IEEE Computer Society Press
- Publish Date: 1991
- Publish Location: Los Alamitos, CA
“Proceedings” Subjects and Themes:
- Subjects: ➤ Computers - Congresses - Computer networks - Computer architecture - Integrated circuits - Very large scale integration - Electronic digital computers - Reliability - Computer software - Validation - Fault-tolerant computing
Edition Identifiers:
- The Open Library ID: OL11390827M - OL11389858M - OL11389349M - OL1573303M
- Online Computer Library Center (OCLC) ID: 24703367
- Library of Congress Control Number (LCCN): 91070547
- All ISBNs: ➤ 0818691417 - 9780818661419 - 9780818621413 - 0818661410 - 0818621419 - 9780818691416
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Global specification and validation of embedded systems
By G. Nicolescu and Ahmed A. Jerraya
“Global specification and validation of embedded systems” Metadata:
- Title: ➤ Global specification and validation of embedded systems
- Authors: G. NicolescuAhmed A. Jerraya
- Language: English
- Number of Pages: Median: 160
- Publisher: ➤ Springer - Nicolescu G Jerraya Ahmed A - Springer London, Limited
- Publish Date: 2007 - 2008 - 2010
“Global specification and validation of embedded systems” Subjects and Themes:
- Subjects: ➤ Heterogeneous computing - Embedded computer systems - Validation - Computer programs - Computer programs, validation - High performance computing - Operating systems (Computers)
Edition Identifiers:
- The Open Library ID: OL37112572M - OL27960160M - OL11634374M - OL30525085M
- Online Computer Library Center (OCLC) ID: 153582220
- All ISBNs: ➤ 9789048113811 - 9789048175505 - 9048113814 - 9781402061530 - 140206151X - 904817550X - 1402061536 - 9781402061516
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Global specification and validation of embedded systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Explore it!
By Elisabeth Hendrickson
“Explore it!” Metadata:
- Title: Explore it!
- Author: Elisabeth Hendrickson
- Languages: English - gem
- Number of Pages: Median: 162
- Publisher: ➤ dpunkt.verlag - The Pragmatic Programmers
- Publish Date: 2013 - 2014
“Explore it!” Subjects and Themes:
- Subjects: ➤ Validation - Testing - Verification - Computer software - Computer software, validation - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL27206788M - OL49556934M
- Online Computer Library Center (OCLC) ID: 893098019 - 810318822
- Library of Congress Control Number (LCCN): 2014395463
- All ISBNs: 9783864915253 - 9781937785024 - 3864915252 - 1937785025
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Explore it! at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13A framework for the development and assurance of high integrity software
By Dolores R. Wallace
“A framework for the development and assurance of high integrity software” Metadata:
- Title: ➤ A framework for the development and assurance of high integrity software
- Author: Dolores R. Wallace
- Language: English
- Number of Pages: Median: 67
- Publisher: ➤ U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology - For sale by the Supt. of Docs., U.S. G.P.O. - Computer Systems Laboratory, National Institute of Standards and Technology
- Publish Date: 1994
- Publish Location: ➤ Gaithersburg, MD - [Gaithersburg, MD] - Washington, D.C - Washington
“A framework for the development and assurance of high integrity software” Subjects and Themes:
- Subjects: ➤ Computer software - Reliability - Quality control - Verification - Validation - Standards
- Places: United States
Edition Identifiers:
- The Open Library ID: OL881806M - OL13618087M - OL17683322M - OL17790810M
- Online Computer Library Center (OCLC) ID: 32555352 - 33199684
- Library of Congress Control Number (LCCN): 95169674
Author's Alternative Names:
"Dolores R Wallace"Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A framework for the development and assurance of high integrity software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Verification and validation of complex systems
By John A. Wise, V. David Hopkin and Paul Stager
“Verification and validation of complex systems” Metadata:
- Title: ➤ Verification and validation of complex systems
- Authors: John A. WiseV. David HopkinPaul Stager
- Language: English
- Number of Pages: Median: 705
- Publisher: Springer-Verlag - Springer
- Publish Date: 1993 - 2010
- Publish Location: New York - Berlin
“Verification and validation of complex systems” Subjects and Themes:
- Subjects: ➤ Utilisateur - Systèmes homme-machine - Circulation aérienne - Software engineering - Système complexe - Congrès - Vérification - Contrôle - Erreur - System analysis - Performance - Validation - Contrôle trafic aérien - Système homme-machine - Interaction homme-machine - Human-machine systems - Air traffic control - Congresses - Génie logiciel - Mens-machine-systemen - Systèmes, Analyse de - Systems engineering
Edition Identifiers:
- The Open Library ID: OL9060984M - OL7447273M - OL28000397M - OL1397485M
- Library of Congress Control Number (LCCN): 93004994
- All ISBNs: ➤ 364208155X - 9783540565741 - 9783642081552 - 9780387565743 - 3540565744 - 0387565744
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification and validation of complex systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15The computer system risk management and validation life cycle
By R. Timothy Stein
“The computer system risk management and validation life cycle” Metadata:
- Title: ➤ The computer system risk management and validation life cycle
- Author: R. Timothy Stein
- Language: English
- Publisher: Paton Press
- Publish Date: 2006
- Publish Location: Chico, CA
“The computer system risk management and validation life cycle” Subjects and Themes:
- Subjects: ➤ Business enterprises - Computer networks - Computer software - Industrial management - Management - Management information systems - Risk management - Validation
Edition Identifiers:
- The Open Library ID: OL3417800M
- Online Computer Library Center (OCLC) ID: 62408594
- Library of Congress Control Number (LCCN): 2005034116
- All ISBNs: 9781932828092 - 1932828095
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The computer system risk management and validation life cycle at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Foundations of Software and System Performance Engineering
By André Bondi
“Foundations of Software and System Performance Engineering” Metadata:
- Title: ➤ Foundations of Software and System Performance Engineering
- Author: André Bondi
- Language: English
- Number of Pages: Median: 446
- Publisher: ➤ Addison-Wesley Professional - Pearson Education, Limited - Addison-Wesley
- Publish Date: 2014
“Foundations of Software and System Performance Engineering” Subjects and Themes:
- Subjects: ➤ Computer systems - Evaluation - Reliability - Computer software - Validation - Computer architecture - System engineering - Computer software, validation - Systems engineering
Edition Identifiers:
- The Open Library ID: OL51809190M - OL35569134M - OL30091884M
- Online Computer Library Center (OCLC) ID: 866616593 - 889425229
- Library of Congress Control Number (LCCN): 2014020070
- All ISBNs: ➤ 0133038181 - 0133038165 - 9780133038163 - 9780321833822 - 0321833821 - 9780133038187
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Software and System Performance Engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP
By Orlando Lopez
“EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP” Metadata:
- Title: ➤ EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP
- Author: Orlando Lopez
- Language: English
- Number of Pages: Median: 379
- Publisher: Taylor & Francis Group
- Publish Date: 2015
“EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP” Subjects and Themes:
- Subjects: ➤ Pharmaceutical industry - Computer software, validation - Computer programs, validation - Medical informatics - Computer software - Validation - Computer security - Medical Informatics - Standards - Software Validation - Legislation & jurisprudence - Risk Management - Computer Security - Logiciels - Sécurité informatique - COMPUTERS - Software Development & Engineering - General
Edition Identifiers:
- The Open Library ID: OL33754350M - OL28820567M - OL33487775M
- Online Computer Library Center (OCLC) ID: 906025723
- All ISBNs: ➤ 1482243636 - 1482243628 - 0429256493 - 9781482243628 - 9781482243635 - 9780429256493
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find EU Annex 11 Guide to Computer Validation Compliance for the Worldwide Health Agency GMP at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Expert system verification and validation study
By Scott W. French
“Expert system verification and validation study” Metadata:
- Title: ➤ Expert system verification and validation study
- Author: Scott W. French
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - Research Institute for Computing and Information Systems, University of Houston-Clear Lake
- Publish Date: 1991 - 1992
- Publish Location: ➤ Springfield, Va - [Washington, DC - [Springfield, Va.? - [Houston, Tex.?] - [Springfield, Va - [Houston, Tex.]
“Expert system verification and validation study” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Expert systems - Expert systems (Computer science) - Information Systems - Program verification (Computers) - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL15409290M - OL15363487M - OL15377449M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Expert system verification and validation study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Software reliability through fault-avoidance and fault-tolerance
By Mladen A. Vouk
“Software reliability through fault-avoidance and fault-tolerance” Metadata:
- Title: ➤ Software reliability through fault-avoidance and fault-tolerance
- Author: Mladen A. Vouk
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Dept. of Computer Science, North Carolina State University - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1990 - 1991 - 1992
- Publish Location: ➤ Raleigh, N.C - [Springfield, Va - Hampton, Va
“Software reliability through fault-avoidance and fault-tolerance” Subjects and Themes:
- Subjects: Reliability - Computer software - Validation - Fault-tolerant computing - Computer programs
Edition Identifiers:
- The Open Library ID: OL14694739M - OL15390631M - OL15376714M
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Software reliability through fault-avoidance and fault-tolerance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20JMeter cookbook
By Bayo Erinle
“JMeter cookbook” Metadata:
- Title: JMeter cookbook
- Author: Bayo Erinle
- Language: English
- Number of Pages: Median: 211
- Publisher: ➤ Packt Publishing, Limited - Packt Publishing
- Publish Date: 2014
“JMeter cookbook” Subjects and Themes:
- Subjects: ➤ Development - Management - Application software - Web sites - HTML (Document markup language) - Authoring programs - Computer network resources - HTTP (Computer network protocol) - Apache (Computer file : Apache Group) - Validation - Computer software
Edition Identifiers:
- The Open Library ID: OL39596904M - OL27173590M
- Online Computer Library Center (OCLC) ID: 903195101 - 896729167
- All ISBNs: 1783988290 - 9781783988280 - 1783988282 - 9781783988297
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find JMeter cookbook at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Verification and validation in computational science and engineering
By Patrick J. Roache
“Verification and validation in computational science and engineering” Metadata:
- Title: ➤ Verification and validation in computational science and engineering
- Author: Patrick J. Roache
- Language: English
- Number of Pages: Median: 446
- Publisher: Hermosapublishers
- Publish Date: 1998
- Publish Location: Albuquerque, N.M
“Verification and validation in computational science and engineering” Subjects and Themes:
- Subjects: ➤ Algorithms - Differential equations, Partial - Numerical calculations - Numerical solutions - Partial Differential equations - Verification - Numerical analysis - Fluid dynamics - Mathematics - Fluid mechanics - Data processing - Computer software - Validation
Edition Identifiers:
- The Open Library ID: OL400789M
- Online Computer Library Center (OCLC) ID: 40065186
- Library of Congress Control Number (LCCN): 98096214
- All ISBNs: 9780913478080 - 0913478083
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verification and validation in computational science and engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Reference information for the software verification and validation process
By Dolores R. Wallace
“Reference information for the software verification and validation process” Metadata:
- Title: ➤ Reference information for the software verification and validation process
- Author: Dolores R. Wallace
- Language: English
- Number of Pages: Median: 85
- Publisher: ➤ For sale by Supt. of Docs., U.S. G.P.O. - U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology
- Publish Date: 1996
- Publish Location: ➤ Gaithersburg, MD - Washington, DC
“Reference information for the software verification and validation process” Subjects and Themes:
- Subjects: Computer software - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL577146M - OL17695861M - OL17806812M
- Online Computer Library Center (OCLC) ID: 37925457
- Library of Congress Control Number (LCCN): 96164931
Author's Alternative Names:
"Dolores R Wallace"Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Reference information for the software verification and validation process at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23The economics of software quality
By Capers Jones
“The economics of software quality” Metadata:
- Title: ➤ The economics of software quality
- Author: Capers Jones
- Language: English
- Number of Pages: Median: 587
- Publisher: Addison-Wesley
- Publish Date: 2012
- Publish Location: Upper Saddle River, NJ
“The economics of software quality” Subjects and Themes:
- Subjects: ➤ Quality control - Verification - Software maintenance - Validation - Economic aspects - Computer software - Computer software, quality control - Computer software, validation - Computer software, verification - Computer programming
Edition Identifiers:
- The Open Library ID: OL25046022M
- Online Computer Library Center (OCLC) ID: 741565691 - 697266839
- Library of Congress Control Number (LCCN): 2011014858
- All ISBNs: 0132582201 - 9780132582209
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find The economics of software quality at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Apache JMeter
By Emily H. Halili
“Apache JMeter” Metadata:
- Title: Apache JMeter
- Author: Emily H. Halili
- Language: English
- Number of Pages: Median: 129
- Publisher: ➤ Packt Publishing, Limited - Packt Publishing Limited
- Publish Date: 2008
- Publish Location: Birmingham
“Apache JMeter” Subjects and Themes:
- Subjects: ➤ Authoring programs - Validation - Web sites - Apache (Computer file : Apache Group) - Computer software - Internet
Edition Identifiers:
- The Open Library ID: OL49523070M - OL25538018M
- Online Computer Library Center (OCLC) ID: 262807827 - 654807244
- All ISBNs: 1847192955 - 9781847192950 - 9781847192967 - 1847192963
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Apache JMeter at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Building and testing with Gradle
By Tim Berglund
“Building and testing with Gradle” Metadata:
- Title: ➤ Building and testing with Gradle
- Author: Tim Berglund
- Language: English
- Number of Pages: Median: 102
- Publisher: ➤ O'Reilly Media, Incorporated - O'Reilly Media
- Publish Date: 2011
- Publish Location: Sebastopol, CA
“Building and testing with Gradle” Subjects and Themes:
- Subjects: ➤ Validation - Computer software - Verification - Computer programs - Computer software, verification - Computer programs, validation - Java (computer program language) - Development - Management - Computer programming - Open source software
Edition Identifiers:
- The Open Library ID: OL36799020M - OL29138864M - OL25565680M
- Online Computer Library Center (OCLC) ID: 752976157
- All ISBNs: ➤ 9781449306816 - 9781449313685 - 9781449313098 - 144931368X - 144930463X - 1449306810 - 1449313094 - 9781449304638
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Building and testing with Gradle at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Verification and validation in systems engineering
By Mourad Debbabi
“Verification and validation in systems engineering” Metadata:
- Title: ➤ Verification and validation in systems engineering
- Author: Mourad Debbabi
- Language: English
- Number of Pages: Median: 274
- Publisher: Springer
- Publish Date: 2010 - 2011 - 2014
- Publish Location: New York - Heidelberg
“Verification and validation in systems engineering” Subjects and Themes:
- Subjects: ➤ Systems engineering - Leistungsbewertung - Softwaremetrie - SysML (Computer science) - Software Engineering - Expert systems (Computer science) - SysML - Systementwicklung - Verification - UML (Computer science) - UML - Validierung - Validation - Verifikation - Programmanalyse - Computer programs - Computer software, validation - Uml (computer science)
Edition Identifiers:
- The Open Library ID: OL27975467M - OL27972682M - OL25004097M
- Online Computer Library Center (OCLC) ID: 662409358
- Library of Congress Control Number (LCCN): 2010936711
- All ISBNs: ➤ 3642423167 - 3642152295 - 9783642152276 - 9783642423161 - 3642152279 - 9783642152290
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification and validation in systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Software engineering reviews and audits
By Boyd L. Summers
“Software engineering reviews and audits” Metadata:
- Title: ➤ Software engineering reviews and audits
- Author: Boyd L. Summers
- Language: English
- Number of Pages: Median: 240
- Publisher: ➤ Auerbach Publishers, Incorporated - Taylor & Francis Group - CRC Press/Auerbach Publications
- Publish Date: 2011 - 2019
- Publish Location: Boca Raton
“Software engineering reviews and audits” Subjects and Themes:
- Subjects: ➤ Validation - Verification - Software engineering - Computer software - Computer software, validation - Computer software, verification - Quality control - Computer programs - Logiciels - Vérification - Qualité - Contrôle - COMPUTERS - Programming - Quality Assurance & Testing
Edition Identifiers:
- The Open Library ID: OL37946383M - OL34667976M - OL24852552M
- Online Computer Library Center (OCLC) ID: 702119743 - 635487085
- Library of Congress Control Number (LCCN): 2011006908
- All ISBNs: ➤ 143985145X - 9781439851463 - 9780367383121 - 0367383128 - 9781439851456 - 1439851468
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Software engineering reviews and audits at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Expert System verification and validation survey
By International Business Machines Corporation
“Expert System verification and validation survey” Metadata:
- Title: ➤ Expert System verification and validation survey
- Author: ➤ International Business Machines Corporation
- Language: English
- Publisher: ➤ NASA Johnson Space Center, Information Systems Directorate, Information Technology Division - Research Institute for Computing and Information Systems, University of Houston-Clear Lake - National Technical Information Service, distributor
- Publish Date: 1990
- Publish Location: ➤ [Clear Lake City, Tex.] - [Houston, Tex.] - [Springfield, Va
“Expert System verification and validation survey” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - Computer programs
Edition Identifiers:
- The Open Library ID: OL17680814M - OL15385541M
Author's Alternative Names:
"IBM Corporation", "International Business Machines Corporation.", "I.B.M." and "IBM"Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Expert System verification and validation survey at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Formal methods for trustworthy computer systems (FM89)
By Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.), Workshop on the Assessment of Formal Methods for Trustworthy Computer and Dan Craigen
“Formal methods for trustworthy computer systems (FM89)” Metadata:
- Title: ➤ Formal methods for trustworthy computer systems (FM89)
- Authors: ➤ Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems (1989 Halifax, N.S.)Workshop on the Assessment of Formal Methods for Trustworthy ComputerDan Craigen
- Language: English
- Number of Pages: Median: 248
- Publisher: Springer-Verlag - Springer
- Publish Date: 1990 - 1991
- Publish Location: London - New York
“Formal methods for trustworthy computer systems (FM89)” Subjects and Themes:
- Subjects: ➤ Computer software - Congresses - Formal methods (Computer science) - Testing - Validation - Verification - Computer software, validation - Computer software, verification - System design
Edition Identifiers:
- The Open Library ID: OL1858046M - OL7444216M
- Online Computer Library Center (OCLC) ID: 23016620
- Library of Congress Control Number (LCCN): 90010317
- All ISBNs: 9783540196358 - 3540196358 - 9780387196350 - 0387196358
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Formal methods for trustworthy computer systems (FM89) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Independent verification and validation
By Robert O. Lewis
“Independent verification and validation” Metadata:
- Title: ➤ Independent verification and validation
- Author: Robert O. Lewis
- Language: English
- Number of Pages: Median: 356
- Publisher: Wiley
- Publish Date: 1992
- Publish Location: New York - Chichester
“Independent verification and validation” Subjects and Themes:
- Subjects: Computer software - Validation - Verification - Computer software, validation
Edition Identifiers:
- The Open Library ID: OL1706387M - OL21467029M
- Online Computer Library Center (OCLC) ID: 25369005
- Library of Congress Control Number (LCCN): 92007792
- All ISBNs: 0471570117 - 9780471570110
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Independent verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Gradle in Action
By Benjamin Muschko
“Gradle in Action” Metadata:
- Title: Gradle in Action
- Author: Benjamin Muschko
- Language: English
- Number of Pages: Median: 480
- Publisher: ➤ Manning Publications - Manning Publications Co. LLC
- Publish Date: 2014
“Gradle in Action” Subjects and Themes:
- Subjects: ➤ Programming languages (electronic computers) - Functional programming (computer science) - Java (Computer program language) - Gradle (Computer file) - Verification - Validation - Domain-specific programming languages - Computer software
Edition Identifiers:
- The Open Library ID: OL34983368M - OL26838398M
- Online Computer Library Center (OCLC) ID: 876268852
- Library of Congress Control Number (LCCN): 2012276692
- All ISBNs: 1638351724 - 1617291307 - 9781617291302 - 9781638351726
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Gradle in Action at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Guidance for the verification and validation of neural networks
By Laura L. Pullum, Brian J. Taylor and Marjorie A. Darrah
“Guidance for the verification and validation of neural networks” Metadata:
- Title: ➤ Guidance for the verification and validation of neural networks
- Authors: Laura L. PullumBrian J. TaylorMarjorie A. Darrah
- Language: English
- Number of Pages: Median: 133
- Publisher: ➤ Wiley-IEEE Computer Society Pr - Wiley & Sons, Limited, John
- Publish Date: 2007 - 2015
“Guidance for the verification and validation of neural networks” Subjects and Themes:
- Subjects: ➤ Neural networks (Computer science) - Computer programs - Validation - Verification - Réseaux neuronaux (Informatique) - Logiciels - Vérification - Neural networks (computer science) - Machine learning
Edition Identifiers:
- The Open Library ID: OL39918950M - OL7595757M
- Library of Congress Control Number (LCCN): 2010277955
- All ISBNs: 047008457X - 9781119134671 - 1119134676 - 9780470084571
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Guidance for the verification and validation of neural networks at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Controller system software testing and validation
By Society of Automotive Engineers
“Controller system software testing and validation” Metadata:
- Title: ➤ Controller system software testing and validation
- Author: ➤ Society of Automotive Engineers
- Language: English
- Number of Pages: Median: 96
- Publisher: SAE International
- Publish Date: 2005
- Publish Location: Warrendale, PA
“Controller system software testing and validation” Subjects and Themes:
- Subjects: ➤ Validation - Computer simulation - Congresses - Computer programs - Motor vehicles - Testing - Computer software
Edition Identifiers:
- The Open Library ID: OL20350162M - OL21391080M
- All ISBNs: 0768015731 - 9780768015737
Author's Alternative Names:
"SAE", "S.A.E.", "Incorporated Society of Automotive Engineers", "Society Of Automotive Engineers Inc", "Society for Automotive Engineers", "SAE International", "Inc. Society of Automotive Engineers", "Sae", "Inc. Society Of Automotive Engineers", "Society of Automotive Engineers" and "Society Of Automotive Engineers.",Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Controller system software testing and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
By Phillip J. Windley
“Formal proof of the AVM-1 microprocessor using the concept of generic interpreters” Metadata:
- Title: ➤ Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
- Author: Phillip J. Windley
- Language: English
- Publisher: ➤ University of California - National Aeronautics and Space Administration, Langley Research Center
- Publish Date: 1991
- Publish Location: Davis, Calif - Hampton, Va
“Formal proof of the AVM-1 microprocessor using the concept of generic interpreters” Subjects and Themes:
- Subjects: ➤ Interpreters (Computer programs) - Validation - Microprocessors - Computer programs
Edition Identifiers:
- The Open Library ID: OL18063220M - OL17679724M
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal proof of the AVM-1 microprocessor using the concept of generic interpreters at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Man-machine interface issues in nuclear power plants
By J. DeBor
“Man-machine interface issues in nuclear power plants” Metadata:
- Title: ➤ Man-machine interface issues in nuclear power plants
- Author: J. DeBor
- Language: English
- Number of Pages: Median: 28
- Publisher: ➤ Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission
- Publish Date: 1989
- Publish Location: Washington, DC
“Man-machine interface issues in nuclear power plants” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Nuclear power plants - Design and construction
Edition Identifiers:
- The Open Library ID: OL18064355M - OL15385370M
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Man-machine interface issues in nuclear power plants at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Validation and verification of knowledge based systems
By Anca Vermesan
“Validation and verification of knowledge based systems” Metadata:
- Title: ➤ Validation and verification of knowledge based systems
- Author: Anca Vermesan
- Language: English
- Number of Pages: Median: 324
- Publisher: Springer - Kluwer Academic
- Publish Date: 1999
- Publish Location: Boston
“Validation and verification of knowledge based systems” Subjects and Themes:
- Subjects: ➤ Expert systems (Computer science) - Validation - Verification - Computer software - Expert systems (computer science) - Congresses
Edition Identifiers:
- The Open Library ID: OL7810338M - OL20643224M
- Online Computer Library Center (OCLC) ID: 190845095
- Library of Congress Control Number (LCCN): 99052007
- All ISBNs: 0792386450 - 9780792386452
First Setence:
"The Quality Assessment Process is in charge of assuring several performances of the software Product and Processes."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Validation and verification of knowledge based systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37IEEE Standard for software verification and validation
By IEEE Computer Society. Software Engineering Standards Committee
“IEEE Standard for software verification and validation” Metadata:
- Title: ➤ IEEE Standard for software verification and validation
- Author: ➤ IEEE Computer Society. Software Engineering Standards Committee
- Language: English
- Number of Pages: Median: 71
- Publisher: ➤ Inst of Elect & Electronic - Institute of Electrical and Electronics Engineers
- Publish Date: 1986 - 1998
- Publish Location: New York, NY
“IEEE Standard for software verification and validation” Subjects and Themes:
- Subjects: Validation - Computer programs - Standards
Edition Identifiers:
- The Open Library ID: OL18666432M - OL10605059M
- Online Computer Library Center (OCLC) ID: 39645895
- All ISBNs: 9780738101965 - 0738101966
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find IEEE Standard for software verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Software verification and validation
By Dolores R. Wallace
“Software verification and validation” Metadata:
- Title: ➤ Software verification and validation
- Author: Dolores R. Wallace
- Language: English
- Number of Pages: Median: 29
- Publisher: ➤ U.S. Dept. of Commerce, National Institute of Standards and Technology - National Institute of Standards and Technology - For sale by the Supt. of Docs., U.S. G.P.O.
- Publish Date: 1989
- Publish Location: ➤ Gaithersburg, MD - Washington, D.C
“Software verification and validation” Subjects and Themes:
- Subjects: Computer software - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL1811478M - OL18784202M
- Library of Congress Control Number (LCCN): 89600754
Author's Alternative Names:
"Dolores R Wallace"Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Software verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Gradle Dsls
By Matthew McCullough
“Gradle Dsls” Metadata:
- Title: Gradle Dsls
- Author: Matthew McCullough
- Publisher: O'Reilly Media
- Publish Date: 2012
“Gradle Dsls” Subjects and Themes:
- Subjects: ➤ Programming languages (electronic computers) - Computer software - Verification - Validation - Java (Computer program language) - Gradle (Computer file) - Application software - Development
Edition Identifiers:
- The Open Library ID: OL26149255M
- Online Computer Library Center (OCLC) ID: 858949372
- Library of Congress Control Number (LCCN): 2014466494
- All ISBNs: 1449304672 - 9781449304676
Author's Alternative Names:
"James Matthew McCullough"Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Gradle Dsls at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Methods and procedures for the verification and validation of artificial neural networks
By Brian J. Taylor
“Methods and procedures for the verification and validation of artificial neural networks” Metadata:
- Title: ➤ Methods and procedures for the verification and validation of artificial neural networks
- Author: Brian J. Taylor
- Language: English
- Number of Pages: Median: 284
- Publisher: ➤ Springer - Springer Science + Business Media
- Publish Date: 2006 - 2010
- Publish Location: New York, NY
“Methods and procedures for the verification and validation of artificial neural networks” Subjects and Themes:
- Subjects: ➤ Neural networks (Computer science) - Validation - Verification - Artificial intelligence - Computer software - Astronautics - Data processing - Optical pattern recognition - Computer networks - Computer network architectures - Computer science - Astronautics, data processing - Computer software, verification - Computer software, validation - Computer Communication Networks - Computer vision - Artificial Intelligence (incl. Robotics) - User Interfaces and Human Computer Interaction - Computer Systems Organization and Communication Networks - Computer Imaging, Vision, Pattern Recognition and Graphics - Pattern Recognition
Edition Identifiers:
- The Open Library ID: OL17189024M - OL28268643M
- Online Computer Library Center (OCLC) ID: 62939317
- Library of Congress Control Number (LCCN): 2005933711
- All ISBNs: 1441939350 - 9780387282886 - 0387282882 - 9781441939357
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Methods and procedures for the verification and validation of artificial neural networks at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Verification, validation and testing in software engineering
“Verification, validation and testing in software engineering” Metadata:
- Title: ➤ Verification, validation and testing in software engineering
- Language: English
- Number of Pages: Median: 428
- Publisher: IGI Global
- Publish Date: 2006
“Verification, validation and testing in software engineering” Subjects and Themes:
- Subjects: Validation - Testing - Verification - Computer software
Edition Identifiers:
- The Open Library ID: OL8855047M
- All ISBNs: 9781591408512 - 1591408512
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification, validation and testing in software engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Trustworthy global computing
By Rocco De Nicola and Davide Sangiorgi
“Trustworthy global computing” Metadata:
- Title: Trustworthy global computing
- Authors: Rocco De NicolaDavide Sangiorgi
- Language: English
- Number of Pages: Median: 371
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2005 - 2006
“Trustworthy global computing” Subjects and Themes:
- Subjects: ➤ Congresses - Verification - Computer security - Computer networks - Validation - Security measures - Computer software - Computer networks, security measures - Computer software, validation - Computer software, verification - Computer programming
Edition Identifiers:
- The Open Library ID: OL37121731M - OL9056071M
- Online Computer Library Center (OCLC) ID: 63176061
- Library of Congress Control Number (LCCN): 2005936337
- All ISBNs: 9783540314837 - 3540314830 - 9783540300076 - 3540300074
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Trustworthy global computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Formal methods and their role in digital systems validation for airborne systems
By John Rushby
“Formal methods and their role in digital systems validation for airborne systems” Metadata:
- Title: ➤ Formal methods and their role in digital systems validation for airborne systems
- Author: John Rushby
- Language: English
- Number of Pages: Median: 58
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - Available from the National Technical Information Service
- Publish Date: 1995
- Publish Location: Hampton, Va - Springfield, VA
“Formal methods and their role in digital systems validation for airborne systems” Subjects and Themes:
- Subjects: Computer software - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL59145342M - OL17803975M
- Online Computer Library Center (OCLC) ID: 33065936 - 60705168
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal methods and their role in digital systems validation for airborne systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Proceedings of the Second International Software Metrics Symposium, 1994
By England) International Software Metrics Symposium 1994 (London
“Proceedings of the Second International Software Metrics Symposium, 1994” Metadata:
- Title: ➤ Proceedings of the Second International Software Metrics Symposium, 1994
- Author: ➤ England) International Software Metrics Symposium 1994 (London
- Language: English
- Number of Pages: Median: 106
- Publisher: ➤ Institute of Electrical & Electronics Enginee
- Publish Date: 1994
“Proceedings of the Second International Software Metrics Symposium, 1994” Subjects and Themes:
- Subjects: Computer software - Quality control - Congresses - Validation
Edition Identifiers:
- The Open Library ID: OL11389828M
- Online Computer Library Center (OCLC) ID: 31624762
- Library of Congress Control Number (LCCN): 94075387
- All ISBNs: 0818658657 - 9780818658655
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings of the Second International Software Metrics Symposium, 1994 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Survey and assessment of conventional software verification and validation methods
By L. A. Miller
“Survey and assessment of conventional software verification and validation methods” Metadata:
- Title: ➤ Survey and assessment of conventional software verification and validation methods
- Author: L. A. Miller
- Language: English
- Number of Pages: Median: 175
- Publisher: ➤ Supt. of Docs., U.S. G.P.O. [distributor] - Nuclear Power Division, Electric Power Research Institute - Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission
- Publish Date: 1993
- Publish Location: Palo Alto, CA - Washington, DC
“Survey and assessment of conventional software verification and validation methods” Subjects and Themes:
- Subjects: Computer software - Data processing - Nuclear industry - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL14693986M
- Online Computer Library Center (OCLC) ID: 29449285
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Survey and assessment of conventional software verification and validation methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46ScalaCheck
By Rickard Nilsson
“ScalaCheck” Metadata:
- Title: ScalaCheck
- Author: Rickard Nilsson
- Language: English
- Number of Pages: Median: 137
- Publisher: Artima
- Publish Date: 2014
- Publish Location: Walnut Creek, Calif
“ScalaCheck” Subjects and Themes:
- Subjects: ➤ Scala (Computer program language) - Java (Computer program language) - Computer software - Validation
Edition Identifiers:
- The Open Library ID: OL43385330M
- Online Computer Library Center (OCLC) ID: 887734750
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find ScalaCheck at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Guideline for lifecycle validation, verification, and testing of computer software
By United States. National Bureau of Standards
“Guideline for lifecycle validation, verification, and testing of computer software” Metadata:
- Title: ➤ Guideline for lifecycle validation, verification, and testing of computer software
- Author: ➤ United States. National Bureau of Standards
- Language: English
- Number of Pages: Median: 37
- Publisher: ➤ U.S. Dept. of Commerce, National Bureau of Standards - For sale by the National Technical Information Service
- Publish Date: 1984
- Publish Location: ➤ [Washington, D.C.] - Springfield, Va
“Guideline for lifecycle validation, verification, and testing of computer software” Subjects and Themes:
- Subjects: Computer programs - Testing - Verification - Validation
Edition Identifiers:
- The Open Library ID: OL14847866M
- Online Computer Library Center (OCLC) ID: 10804440
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Guideline for lifecycle validation, verification, and testing of computer software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Software verification and validation
By Steven R. Rakitin
“Software verification and validation” Metadata:
- Title: ➤ Software verification and validation
- Author: Steven R. Rakitin
- Language: English
- Number of Pages: Median: 271
- Publisher: Artech House
- Publish Date: 1997
- Publish Location: Boston
“Software verification and validation” Subjects and Themes:
- Subjects: Computer software - Validation - Verification
Edition Identifiers:
- The Open Library ID: OL1007352M
- Online Computer Library Center (OCLC) ID: 35777398
- Library of Congress Control Number (LCCN): 96047264
- All ISBNs: 0890068895 - 9780890068892
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Software verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Production of reliable flight-crucial software
By Validation Methods Research for Fault-Tolerant Avionics and Control Systems Sub-Working-Group Meeting (1st 1981 Research Triangle Institute)
“Production of reliable flight-crucial software” Metadata:
- Title: ➤ Production of reliable flight-crucial software
- Author: ➤ Validation Methods Research for Fault-Tolerant Avionics and Control Systems Sub-Working-Group Meeting (1st 1981 Research Triangle Institute)
- Language: English
- Number of Pages: Median: 22
- Publisher: ➤ For sale by the National Technical Information Service] - National Aeronautics and Space Administration, Scientific and Technical Information Branch
- Publish Date: 1982
- Publish Location: ➤ [Springfield, Va - Washington, D.C
“Production of reliable flight-crucial software” Subjects and Themes:
- Subjects: ➤ Computer programs - Congresses - Data processing - Flight control - Reliability - Validation
Edition Identifiers:
- The Open Library ID: OL3141657M
- Library of Congress Control Number (LCCN): 82602382
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Production of reliable flight-crucial software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Expert System verification and validation study
delivery 1 : survey and interview questions
By International Business Machines Corporation
“Expert System verification and validation study” Metadata:
- Title: ➤ Expert System verification and validation study
- Author: ➤ International Business Machines Corporation
- Language: English
- Publisher: ➤ NASA Johnson Space Center, Information Systems Directorate, Information Technology Division - Research Institute for Computing and Information Systems, University of Houston-Clear Lake - National Technical Information Service, distributor
- Publish Date: 1990
- Publish Location: ➤ [Clear Lake City, Tex.] - [Houston, Tex.] - [Springfield, Va
“Expert System verification and validation study” Subjects and Themes:
- Subjects: ➤ Validation - Expert systems (Computer science) - Computer programs
Edition Identifiers:
- The Open Library ID: OL15385543M
Author's Alternative Names:
"IBM Corporation", "International Business Machines Corporation.", "I.B.M." and "IBM"Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Expert System verification and validation study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.