Explore: Software Reliability
Discover books, insights, and more — all in one place.
Learn more about Software Reliability with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “software-reliability”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Measurement and analysis of failures in computer systems
By Anshuman Thakur
“Measurement and analysis of failures in computer systems” Metadata:
- Title: ➤ Measurement and analysis of failures in computer systems
- Author: Anshuman Thakur
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1997
- Publish Location: ➤ Springfield, Va - [Washington, DC
“Measurement and analysis of failures in computer systems” Subjects and Themes:
- Subjects: ➤ Computer programs - Computer systems performance - Data structures - Software reliability - System failures - Systems analysis - UNIX (Operating system)
Edition Identifiers:
- The Open Library ID: OL18116116M - OL17696417M - OL17826952M
- Online Computer Library Center (OCLC) ID: 39081422
Access and General Info:
- First Year Published: 1997
- 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 Measurement and analysis of failures in computer systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2UNIX-based operating systems robustness evaluation
By Yu-Ming Chang
“UNIX-based operating systems robustness evaluation” Metadata:
- Title: ➤ UNIX-based operating systems robustness evaluation
- Author: Yu-Ming Chang
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Washington, DC - Springfield, Va - [Urbana, Ill.]
“UNIX-based operating systems robustness evaluation” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Memory (Computers) - Program verification (Computers) - Resources management - Software reliability - Stress analysis - UNIX (Operating system)
Edition Identifiers:
- The Open Library ID: OL15505023M - OL18121489M
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 UNIX-based operating systems robustness evaluation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3UNIX-based operating systems robustness evaluation
By Youming Zhang
“UNIX-based operating systems robustness evaluation” Metadata:
- Title: ➤ UNIX-based operating systems robustness evaluation
- Author: Youming Zhang
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign
- Publish Date: 1996
- Publish Location: ➤ Springfield, Va - [Urbana, Ill.] - [Washington, DC
“UNIX-based operating systems robustness evaluation” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Memory (Computers) - Program verification (Computers) - Resources management - Software reliability - Stress analysis - UNIX (Operating system)
Edition Identifiers:
- The Open Library ID: OL17126057M - OL17576352M
- Online Computer Library Center (OCLC) ID: 40102006
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 UNIX-based operating systems robustness evaluation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Quantitative measures for software independent verification and validation
By Alice Lee
“Quantitative measures for software independent verification and validation” Metadata:
- Title: ➤ Quantitative measures for software independent verification and validation
- Author: Alice Lee
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Lyndon B. Johnson Space Center
- Publish Date: 1996
- Publish Location: [Springfield, Va - Houston, Tx
“Quantitative measures for software independent verification and validation” Subjects and Themes:
- Subjects: ➤ Program verification (Computers) - Software engineering - Airborne/spaceborne computers - Reliability analysis - Applications programs (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15504481M - OL17838914M
- Online Computer Library Center (OCLC) ID: 40386898
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 Quantitative measures for software independent verification and validation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Multiversion software reliability through fault-avoidance and fault-tolerance
By Mladen A. Vouk
“Multiversion software reliability through fault-avoidance and fault-tolerance” Metadata:
- Title: ➤ Multiversion software reliability through fault-avoidance and fault-tolerance
- Author: Mladen A. Vouk
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor - North Carolina State University
- Publish Date: 1989 - 1990
- Publish Location: ➤ [Washington, DC - Springfield, Va - Raleigh, NC
“Multiversion software reliability through fault-avoidance and fault-tolerance” Subjects and Themes:
- Subjects: ➤ Fault tolerance - Reliability - Software tools - Run time (Computers) - Computer programs - Computer programming - Software reliability
Edition Identifiers:
- The Open Library ID: OL15409301M - OL15402727M
Access and General Info:
- First Year Published: 1989
- 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 Multiversion software reliability through fault-avoidance and fault-tolerance at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The validation by measurement theory of proposed object-oriented software metrics
By Ralph D. Neal
“The validation by measurement theory of proposed object-oriented software metrics” Metadata:
- Title: ➤ The validation by measurement theory of proposed object-oriented software metrics
- Author: Ralph D. Neal
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
- Publish Date: 1994 - 1996
- Publish Location: ➤ [Springfield, Va - [Morgantown, W. Va.?] - [Washington, D.C - [Washington, D.C.] - Springfield, Va
“The validation by measurement theory of proposed object-oriented software metrics” Subjects and Themes:
- Subjects: ➤ Object-oriented programming - Software engineering - Measure and integration - Metrology - Technology assessment - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15424720M - OL15508144M
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 The validation by measurement theory of proposed object-oriented software metrics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Software dependability in the operational phase
By Inhwan Lee
“Software dependability in the operational phase” Metadata:
- Title: ➤ Software dependability in the operational phase
- Author: Inhwan Lee
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration - Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign
- Publish Date: 1994
- Publish Location: ➤ [Washington, DC - Springfield, Va - [Urbana, Illinois]
“Software dependability in the operational phase” Subjects and Themes:
- Subjects: ➤ Computer systems performance - Fault tolerance - Reliability analysis - Software engineering - Software reliability - System failures
Edition Identifiers:
- The Open Library ID: OL17790252M - OL15403830M
- Online Computer Library Center (OCLC) ID: 32233487
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 Software dependability in the operational phase at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8An introduction to requirements capture using PVS
By Ricky W. Butler
“An introduction to requirements capture using PVS” Metadata:
- Title: ➤ An introduction to requirements capture using PVS
- Author: Ricky W. Butler
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: Hampton, Va - [Springfield, Va
“An introduction to requirements capture using PVS” Subjects and Themes:
- Subjects: ➤ Specifications - Software development tools - Program verification (Computers) - Software reliability - Computer programming - User requirements - Computer programs - Equations of state
Edition Identifiers:
- The Open Library ID: OL17834486M - OL15498102M
- Online Computer Library Center (OCLC) ID: 39675735
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 An introduction to requirements capture using PVS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9NASA software engineering benchmarking study
By Heather L. Rarick
“NASA software engineering benchmarking study” Metadata:
- Title: ➤ NASA software engineering benchmarking study
- Author: Heather L. Rarick
- Language: English
- Number of Pages: Median: 128
- Publisher: ➤ National Aeronautics and Space Administration
- Publish Date: 2013
- Publish Location: Washington, DC
“NASA software engineering benchmarking study” Subjects and Themes:
- Subjects: ➤ Program verification (computers) - Software engineering - Computer programming - Standards - Systems management - Computer systems programs - Aerospace industry - Software reliability
Edition Identifiers:
- The Open Library ID: OL54280117M
- Online Computer Library Center (OCLC) ID: 852123543
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find NASA software engineering benchmarking study at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Evaluation of visualization software
By Al Globus
“Evaluation of visualization software” Metadata:
- Title: ➤ Evaluation of visualization software
- Author: Al Globus
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration
- Publish Date: 1995
- Publish Location: ➤ Springfield, Va - [Washington, DC
“Evaluation of visualization software” Subjects and Themes:
- Subjects: Flow visualization - Algorithms - Computerized simulation - Standardization - Software reliability
Edition Identifiers:
- The Open Library ID: OL15543363M
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 Evaluation of visualization software at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Software design improvements
By Vincent R. Lalli
“Software design improvements” Metadata:
- Title: Software design improvements
- Author: Vincent R. Lalli
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1997
- Publish Location: ➤ [Washington, D.C - Springfield, Va
“Software design improvements” Subjects and Themes:
- Subjects: ➤ Computer program integrity - Quality control - Software engineering - Computer programs - Software development tools - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15500599M
Access and General Info:
- First Year Published: 1997
- 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 design improvements at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Software reliability studies
By Mary Ann Hoppa
“Software reliability studies” Metadata:
- Title: Software reliability studies
- Author: Mary Ann Hoppa
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Dept. of Computer Science, College of Sciences, Old Dominion University
- Publish Date: 1994
- Publish Location: Norfolk, Va - [Springfield, Va
“Software reliability studies” Subjects and Themes:
- Subjects: ➤ Reliability analysis - Performance prediction - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15408357M
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 Software reliability studies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Proceedings of the Nineteenth Annual Software Engineering Workshop
By Software Engineering Workshop (19th 1994 Greenbelt, Md.)
“Proceedings of the Nineteenth Annual Software Engineering Workshop” Metadata:
- Title: ➤ Proceedings of the Nineteenth Annual Software Engineering Workshop
- Author: ➤ Software Engineering Workshop (19th 1994 Greenbelt, Md.)
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration, Goddard Space Flight Center
- Publish Date: 1994
- Publish Location: ➤ Greenbelt, Md - [Springfield, Va
“Proceedings of the Nineteenth Annual Software Engineering Workshop” Subjects and Themes:
- Subjects: ➤ Conferences - Program verification (Computers) - Software engineering - Software reliability
Edition Identifiers:
- The Open Library ID: OL18081847M
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 Nineteenth Annual Software Engineering Workshop at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Software safety progress in NASA
By Charles F. Radley
“Software safety progress in NASA” Metadata:
- Title: ➤ Software safety progress in NASA
- Author: Charles F. Radley
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1995
- Publish Location: ➤ [Springfield, Va - [Washington, D.C.]
“Software safety progress in NASA” Subjects and Themes:
- Subjects: ➤ Safety - Reliability engineering - Software engineering - Reliability analysis - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL15419929M
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 Software safety progress in NASA at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Automatically generated acceptance test
By Peter W. Protzel
“Automatically generated acceptance test” Metadata:
- Title: ➤ Automatically generated acceptance test
- Author: Peter W. Protzel
- Number of Pages: Median: 19
- Publisher: ICASE
- Publish Date: 1988
- Publish Location: Hampton, Va
“Automatically generated acceptance test” Subjects and Themes:
- Subjects: Acceptance test - Software reliability
Edition Identifiers:
- The Open Library ID: OL20898897M
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automatically generated acceptance test at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16The role of independent V&V in upstream software development processes
By S. M. Easterbrook
“The role of independent V&V in upstream software development processes” Metadata:
- Title: ➤ The role of independent V&V in upstream software development processes
- Author: S. M. Easterbrook
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Springfield, Va - [Washington, DC]
“The role of independent V&V in upstream software development processes” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL15508133M
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 The role of independent V&V in upstream software development processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17A framework for performing V&V within reuse-based software engineering
By Edward A. Addy
“A framework for performing V&V within reuse-based software engineering” Metadata:
- Title: ➤ A framework for performing V&V within reuse-based software engineering
- Author: Edward A. Addy
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1996
- Publish Location: ➤ [Springfield, Va - [Washington, DC]
“A framework for performing V&V within reuse-based software engineering” Subjects and Themes:
- Subjects: Software reuse - Software engineering - Software reliability
Edition Identifiers:
- The Open Library ID: OL15508135M
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 A framework for performing V&V within reuse-based software engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers
By Shih-chʻing Liu
“A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers” Metadata:
- Title: ➤ A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers
- Author: Shih-chʻing Liu
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration
- Publish Date: 1994
- Publish Location: ➤ [Washington, D.C.] - [Springfield, Va
“A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers” Subjects and Themes:
- Subjects: ➤ Coders - Load distribution (Forces) - Ergometers - Body kinematics - Physiological effects - Acceleration stresses (Physiology) - Software reliability - Physical exercise - Computer programs - Accelerometers
Edition Identifiers:
- The Open Library ID: OL15410337M
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 method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Formal 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
- Publisher: ➤ Available from the National Technical Information Service - National Aeronautics and Space Administration, Langley Research Center
- 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: ➤ Mathematical logic - Software engineering - Reliability analysis - Digital systems - Program verification (Computers) - Software reliability
Edition Identifiers:
- The Open Library ID: OL16125709M
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.
20Making statistical inferences about software reliability
By Douglas R. Miller
“Making statistical inferences about software reliability” Metadata:
- Title: ➤ Making statistical inferences about software reliability
- Author: Douglas R. Miller
- Number of Pages: Median: 22
- Publisher: Langley Research Center
- Publish Date: 1988
- Publish Location: Hampton, Va
“Making statistical inferences about software reliability” Subjects and Themes:
- Subjects: Software reliability
Edition Identifiers:
- The Open Library ID: OL18928741M
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Making statistical inferences about software reliability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.