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.

Topic Search

Search for any topic

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

“Measurement and analysis of failures in computer systems” Metadata:

  • Title: ➤  Measurement and analysis of failures in computer systems
  • Author:
  • Language: English
  • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
  • Publish Date:
  • Publish Location: ➤  Springfield, Va - [Washington, DC

“Measurement and analysis of failures in computer systems” Subjects and Themes:

Edition Identifiers:

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:


    2UNIX-based operating systems robustness evaluation

    By

    “UNIX-based operating systems robustness evaluation” Metadata:

    • Title: ➤  UNIX-based operating systems robustness evaluation
    • Author:
    • 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:
    • Publish Location: ➤  [Washington, DC - Springfield, Va - [Urbana, Ill.]

    “UNIX-based operating systems robustness evaluation” Subjects and Themes:

    Edition Identifiers:

    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:


      3UNIX-based operating systems robustness evaluation

      By

      “UNIX-based operating systems robustness evaluation” Metadata:

      • Title: ➤  UNIX-based operating systems robustness evaluation
      • Author:
      • 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:
      • Publish Location: ➤  Springfield, Va - [Urbana, Ill.] - [Washington, DC

      “UNIX-based operating systems robustness evaluation” Subjects and Themes:

      Edition Identifiers:

      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:


        4Quantitative measures for software independent verification and validation

        By

        “Quantitative measures for software independent verification and validation” Metadata:

        • Title: ➤  Quantitative measures for software independent verification and validation
        • Author:
        • Language: English
        • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Lyndon B. Johnson Space Center
        • Publish Date:
        • Publish Location: [Springfield, Va - Houston, Tx

        “Quantitative measures for software independent verification and validation” Subjects and Themes:

        Edition Identifiers:

        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:


          5Multiversion software reliability through fault-avoidance and fault-tolerance

          By

          “Multiversion software reliability through fault-avoidance and fault-tolerance” Metadata:

          • Title: ➤  Multiversion software reliability through fault-avoidance and fault-tolerance
          • Author:
          • Language: English
          • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor - North Carolina State University
          • Publish Date:
          • Publish Location: ➤  [Washington, DC - Springfield, Va - Raleigh, NC

          “Multiversion software reliability through fault-avoidance and fault-tolerance” Subjects and Themes:

          Edition Identifiers:

          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:


            6The validation by measurement theory of proposed object-oriented software metrics

            By

            “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:
            • Language: English
            • Publisher: ➤  National Aeronautics and Space Administration - West Virginia University - National Technical Information Service, distributor
            • Publish Date:
            • 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:

            Edition Identifiers:

            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:


              7Software dependability in the operational phase

              By

              “Software dependability in the operational phase” Metadata:

              • Title: ➤  Software dependability in the operational phase
              • Author:
              • 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:
              • Publish Location: ➤  [Washington, DC - Springfield, Va - [Urbana, Illinois]

              “Software dependability in the operational phase” Subjects and Themes:

              Edition Identifiers:

              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:


                8An introduction to requirements capture using PVS

                By

                “An introduction to requirements capture using PVS” Metadata:

                • Title: ➤  An introduction to requirements capture using PVS
                • Author:
                • Language: English
                • Publisher: ➤  National Aeronautics and Space Administration, Langley Research Center - National Technical Information Service, distributor
                • Publish Date:
                • Publish Location: Hampton, Va - [Springfield, Va

                “An introduction to requirements capture using PVS” Subjects and Themes:

                Edition Identifiers:

                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:


                  9NASA software engineering benchmarking study

                  By

                  “NASA software engineering benchmarking study” Metadata:

                  • Title: ➤  NASA software engineering benchmarking study
                  • Author:
                  • Language: English
                  • Number of Pages: Median: 128
                  • Publisher: ➤  National Aeronautics and Space Administration
                  • Publish Date:
                  • Publish Location: Washington, DC

                  “NASA software engineering benchmarking study” Subjects and Themes:

                  Edition Identifiers:

                  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:


                  10Evaluation of visualization software

                  By

                  “Evaluation of visualization software” Metadata:

                  • Title: ➤  Evaluation of visualization software
                  • Author:
                  • Language: English
                  • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                  • Publish Date:
                  • Publish Location: ➤  Springfield, Va - [Washington, DC

                  “Evaluation of visualization software” Subjects and Themes:

                  Edition Identifiers:

                  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:


                    11Software design improvements

                    By

                    “Software design improvements” Metadata:

                    • Title: Software design improvements
                    • Author:
                    • Language: English
                    • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                    • Publish Date:
                    • Publish Location: ➤  [Washington, D.C - Springfield, Va

                    “Software design improvements” Subjects and Themes:

                    Edition Identifiers:

                    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:


                      12Software reliability studies

                      By

                      “Software reliability studies” Metadata:

                      • Title: Software reliability studies
                      • Author:
                      • Language: English
                      • Publisher: ➤  National Technical Information Service, distributor - Dept. of Computer Science, College of Sciences, Old Dominion University
                      • Publish Date:
                      • Publish Location: Norfolk, Va - [Springfield, Va

                      “Software reliability studies” Subjects and Themes:

                      Edition Identifiers:

                      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:


                        13Proceedings of the Nineteenth Annual Software Engineering Workshop

                        By

                        “Proceedings of the Nineteenth Annual Software Engineering Workshop” Metadata:

                        • Title: ➤  Proceedings of the Nineteenth Annual Software Engineering Workshop
                        • Author: ➤  
                        • Language: English
                        • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration, Goddard Space Flight Center
                        • Publish Date:
                        • Publish Location: ➤  Greenbelt, Md - [Springfield, Va

                        “Proceedings of the Nineteenth Annual Software Engineering Workshop” Subjects and Themes:

                        Edition Identifiers:

                        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:


                          14Software safety progress in NASA

                          By

                          “Software safety progress in NASA” Metadata:

                          • Title: ➤  Software safety progress in NASA
                          • Author:
                          • Language: English
                          • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                          • Publish Date:
                          • Publish Location: ➤  [Springfield, Va - [Washington, D.C.]

                          “Software safety progress in NASA” Subjects and Themes:

                          Edition Identifiers:

                          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:


                            15Automatically generated acceptance test

                            By

                            “Automatically generated acceptance test” Metadata:

                            • Title: ➤  Automatically generated acceptance test
                            • Author:
                            • Number of Pages: Median: 19
                            • Publisher: ICASE
                            • Publish Date:
                            • Publish Location: Hampton, Va

                            “Automatically generated acceptance test” Subjects and Themes:

                            Edition Identifiers:

                            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:


                            16The role of independent V&V in upstream software development processes

                            By

                            “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:
                            • Language: English
                            • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                            • Publish Date:
                            • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                            “The role of independent V&V in upstream software development processes” Subjects and Themes:

                            Edition Identifiers:

                            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:


                              17A framework for performing V&V within reuse-based software engineering

                              By

                              “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:
                              • Language: English
                              • Publisher: ➤  National Aeronautics and Space Administration - National Technical Information Service, distributor
                              • Publish Date:
                              • Publish Location: ➤  [Springfield, Va - [Washington, DC]

                              “A framework for performing V&V within reuse-based software engineering” Subjects and Themes:

                              Edition Identifiers:

                              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:


                                18A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers

                                By

                                “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:
                                • Language: English
                                • Publisher: ➤  National Technical Information Service, distributor - National Aeronautics and Space Administration
                                • Publish Date:
                                • 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:

                                Edition Identifiers:

                                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:


                                  19Formal methods and their role in digital systems validation for airborne systems

                                  By

                                  “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:
                                  • Language: English
                                  • Publisher: ➤  Available from the National Technical Information Service - National Aeronautics and Space Administration, Langley Research Center
                                  • Publish Date:
                                  • Publish Location: Hampton, Va - [Springfield, VA

                                  “Formal methods and their role in digital systems validation for airborne systems” Subjects and Themes:

                                  Edition Identifiers:

                                  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:


                                    20Making statistical inferences about software reliability

                                    By

                                    “Making statistical inferences about software reliability” Metadata:

                                    • Title: ➤  Making statistical inferences about software reliability
                                    • Author:
                                    • Number of Pages: Median: 22
                                    • Publisher: Langley Research Center
                                    • Publish Date:
                                    • Publish Location: Hampton, Va

                                    “Making statistical inferences about software reliability” Subjects and Themes:

                                    Edition Identifiers:

                                    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: