Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Software formal inspection standard [microform].

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
    • 1993

  • NASA software documentation standard [microform] : software engineering program.

    • Text
    • Washington, DC : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
    • 1991

  • Space Station Module Power Management and Distribution System (SSM/PMAD) [microform] / report compiled by William Miller ... [et al.].

    • Text
    • [Denver, Colo.] : Martin Marietta ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software analysis handbook [microform] : software complexity analysis and software reliability estimation and prediction / Alice T. Lee ... [et al.].

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software dependability in the operational phase [microform] / Inhwan Lee.

    • Text
    • [Urbana, Illinois] : Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software reliability studies [microform] : final report for the period ended October 31, 1994 / by Larry W. Wilson.

    • Text
    • Norfolk, Va. : Dept. of Computer Science, College of Sciences, Old Dominion University ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Multiversion software reliability through fault-avoidance and fault-tolerance [microform] : report #2, (9-1-89 - 3-31-90) on NAG-1-983 / by Mladen A. Vouk and David F. McAllister.

    • Text
    • Raleigh, NC : North Carolina State University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
    • 1990

  • A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers [microform] / by Shih-Ching Liu.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software measurement guidebook [microform].

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Proceedings of the Nineteenth Annual Software Engineering Workshop [microform].

    • Text
    • Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Software safety progress in NASA [microform] / Charles F. Radley.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • The validation by measurement theory of proposed object-oriented software metrics [microform] / Ralph D. Neal.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W. Va.?] : West Virginia University ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Measurement and analysis of failures in computer systems [microform] : thesis ... / by Anshuman Thakur.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • An introduction to requirements capture using PVS [microform] : specification of a simple autopilot / Ricky W. Butler.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Software design improvements. Part 1-2 [microform] / Vincent R. Lalli, Michael H. Packard, Tom Ziemianski.

    • Text
    • [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1997]
    • 1997

  • UNIX-based operating systems robustness evaluation [microform] / Yu-Ming Chang.

    • Text
    • [Urbana, Ill.] : Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Quantitative measures for software independent verification and validation [microform] / Alice Lee, Project Technical Manager.

    • Text
    • Houston, Tx. : National Aeronautics and Space Administration, Lyndon B. Johnson Space Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Evaluation of visualization software [microform] : report NAS-95-005 / Al Globus, Sam Uselton.

    • Text
    • [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • NASA/ASEE Summer Faculty Fellowship Program [microform] : John F. Kennedy Space Center, University of Central Florida : 1996 research reports : NASA grant NGT10-52605, contractor report no. CR-202756 / editors, Roger Johnson, Gregg Buckingham.

    • Text
    • [Washington, DC] : NASA ; [Orlando, Fla.] : University of Central Florida ; [Washington, DC] : American Society for Engineering Education ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • The role of independent V&V in upstream software development processes [microform] / by Steve Easterbrook.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • A framework for performing V&V within reuse-based software engineering [microform] / by Edward A. Addy.

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Experiences using formal methods for requirements modeling [microform] / by Steve Easterbrook ... [et al.].

    • Text
    • [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • Formal methods and their role in digital systems validation for airborne systems [microform] / John Rushby.

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : Available from the National Technical Information Service, 1995]
    • 1995

  • Selecting an architecture for a safety-critical distributed computer system with power, weight and cost considerations / Wilfredo Torres-Pomales.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, April 2014.
    • 2014-4
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo50500

  • Planning the unplanned experiment : assessing the efficacy of standards for safety critical software / Patrick J. Graydon and C. Michael Holloway.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, September 2015.
    • 2015-9
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo64424

  • An introduction to requirements capture using PVS : specification of a simple autopilot / Ricky W. Butler.

    • Text
    • Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, May 1996.
    • 1996-5
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo67752

  • Software design improvements / Vincent R. Lalli, Michael H. Packard, Tom Ziemianski.

    • Text
    • Cleveland, Ohio : National Aeronautics and Space Administration, Lewis Research Center, February 1997.
    • 1997-2
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo70939

  • Results of a flight simulation software methods survey / E. Bruce Jackson.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration, [1995]
    • 1995
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo77768

  • Results of a flight simulation software methods survey / E. Bruce Jackson.

    • Text
    • [Washington, D.C.] : [National Aeronautics and Space Administration], [1995]
    • 1995

  • NASA software engineering benchmarking study / Heather L. Rarick [and four others].

    • Text
    • Washington, DC : National Aeronautics and Space Administration, 2013.
    • 2013
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo37986

  • A research program in empirical computer science : a final report, November 22, 1989 - November 21, 1990 / submitted by J.C. Knight.

    • Text
    • Charlottesville, Virginia : School of Engineering and Applied Science, University of Virginia ; [Washington, DC] : [National Aeronautics and Space Administration], 1991.
    • 1991
    • 1 Resource

    Available Online

    https://purl.fdlp.gov/GPO/gpo177198

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta