Research Catalog

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

Selected filters.Clear Filters

  • Follow-on low noise fan aerodynamic study [microform] : task 15-final report / Nathan J. Heidegger, Edward J. Hall, and Robert A. Delaney.

    • Text
    • [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1999]
    • 1999

  • 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

  • Formal design and verification of a reliable computing platform for real-time control [microform] : phase 3 results / Ricky W. Butler, Ben L. Di Vito, C. Michael Holloway.

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

  • Assessing the impact of modeling limits on intelligent systems [microform] / William B. Rouse and John M. Hammer.

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

  • MODIS Information, Data, and Control System (MIDACS) operations concepts [microform] / D. Han ... [et al.].

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

  • 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

  • Expert system verification and validation study [microform] : final report / Scott French, David Hamilton.

    • Text
    • [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; [Washington, DC : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
    • 1992

  • A survey of program slicing for software engineering [microform] / Jon Beck.

    • Text
    • [Clear Lake City, Tex.] : Research Institute for Computing and Information Systems, University of Houston--Clear Lake ; [Washington, D.C. : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
    • 1993

  • Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits [microform] / David M. Russinoff.

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

  • Fracture mechanics life analytical methods verification testing [microform] : final report / prepared by Nichols Research Corporation, Cornell University, Fracture Analysis Consultants.

    • Text
    • Huntsville, AL : NRC, Nichols Research Corporation ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
    • 1994

  • Detection of faults and software reliability analysis [microform] : semi-annual progress report, NASA award no. NAG-1-605, July 1, 1985 - June 30, 1987 / submitted by J.C. Knight.

    • Text
    • Charlottesville, Va. : School of Engineering and Applied Science, Dept. of Computer Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Measurement-based reliability/performability models [microform] / by Mei-Chen Hsueh.

    • Text
    • [Hampton, VA : Langley Research Ctr. ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1987

  • Integrating O&S models during conceptual design [microform] : PART III:simulation of maintenance and logistics support of proposed space systems using SLAM II / prepared by Charles E. Ebeling & Colleen B. Donohue.

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

  • SAGA, a project to automate the management of software production systems [microform] : 1987 mid-year report / principal investigator, Roy H. Campbell.

    • Text
    • Urbana, IL : University of Illinois, Dept. of Computer Science ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
    • 1986

  • Analysis and synthesis of abstract data types through generalization from examples [microform] / Christian Wild.

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

  • Ground software maintenance facility (GSMF) user's manual [microform] : final.

    • Text
    • Huntsville, Ala. : TRW Defense Systems Group, Huntsville Operations ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1986]
    • 1986

  • FTAPE [microform] : a fault injection tool to measure fault torerance / Timothy K. Tsai and Ravishankar K. Iyer.

    • Text
    • [Washington, D.C.?] : American Institute of Aeronautics and Astronautics : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor], c1994.
    • 1994

  • A verification procedure for MSC/NASTRAN finite element models [microform] / Alan E. Stockwell.

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

  • A process improvement model for software verification and validation [microform] / by John Callahan and George Sabolish.

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

  • Turbulence modeling [microform] / Jorge E. Bardina.

    • Text
    • Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1995]
    • 1995

  • Grid resolution and turbulent inflow boundary condition recommendations for NPARC calculations [microform] / Nicholas J. Georgiadis and Julianne C. Dudek and Thomas P. Tierney.

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

  • Validation of the NPARC code for nozzle afterbody flows at transonic speeds [microform] / James R. DeBonis and Nicholas J. Georgiadis, Crawford F. Smith.

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

  • 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

  • Performance validation of the ANSER control laws for the F-18 HARV [microform] / Michael D. Messina.

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

  • 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

  • Land surface temperature measurements from EOS MODIS data [microform] : semi-annual report ... for January-June, 1995 / principal investigator, Zhengming Wan.

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

  • Second NASA Formal Methods Workshop, 1992 [microform] / compiled by Sally C. Johnson, C. Michael Holloway, and RIcky W. Butler.

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

  • Design, implementation, and verification of the reliable multicast protocol [microform] / by Todd L. Montgomery.

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

  • An approach to verification and validation of a reliable multicasting protocol [microform] : extended abstract / by John R. Callahan and Todd L. Montgomery.

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

  • Verification and validation of a reliable multicast protocol [microform] / by John R. Callahan and Todd L. Montgomery.

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

  • Toward fidelity between specification and implementation [microform] / by John R. Callahan ... [et al.].

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

  • The specification-based validation of Reliable Multicast Protocol [microform] : problem report / Yunqing Wu.

    • Text
    • [Washington, D.C.] : National Aeronautics and Space Administration ; [Morgantown, W. Va.?] : West Virginia University ; [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

  • Development of a software safety process and a case study of its use [microform] : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.

    • Text
    • Charlottesville, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1996]
    • 1996

  • 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

  • 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

  • Parallel ALLSPD-3D [microform] : speeding up combustor analysis via parallel processing / David M. Fricker.

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

  • Software project management and measurement on the World-Wide-Web (WWW) [microform] / by John Callahan and Sudhakar Ramakrishnan.

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

  • The applicability of proposed object-oriented metrics to developer feedback in time to impact development [microform] / by Ralph D. Neal.

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

  • Experience report [microform] : the use of functional flows to provide an alternate perspective for IV & V / by Edward A. Addy and Lynn J. Simms.

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

  • Flight guidance system validation using SPIN [microform] / Dimitri Naydich and John Nowakowski.

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

  • Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan.

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

  • Formal verification of the AAMP-FV microcode [microform] / Steven P. Miller ... [et al.].

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

  • A practical approach to implementing real-time semantics [microform] / Gerald Lüttgen, Girish Bhat, Rance Cleaveland.

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

  • The formal semantics of PVS [microform] / Sam Owre and Natarajan Shankar.

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

  • The global coronal structure investigation [microform] : NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998 / principal investigator, Leon Golub.

    • Text
    • Cambridge, Mass. : Smithsonian Institution, Astrophysical Observatory ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1998]
    • 1998

  • 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 of V&V of partial specifications [microform] : an experience report / by Steve Easterbrook and Jack Callahan.

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

  • On the formal verification of conflict detection algorithims [microform] / César Muñoz ... [et al.].

    • Text
    • Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Hanover, MD : Available from NASA Center for AeroSpace Information (CASI), [2001]
    • 2001
    • 1 Resource

    Available Online

    http://purl.access.gpo.gov/GPO/LPS22879

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