Clear Search

Books+ Search Results

Subject: "Computer software"
Language: Is
Is Is Not
English
Location: Is
Is Is Not
Sterling Memorial Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Coordinated scheduling for dynamic real-time systems
Author
Natarajan, Swaminathan
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195231
Format
Books / Microforms
2.
Structural/aerodynamic blade analyzer (SAB) user's guide-version 1.0
Author
Morel, M.R.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:194460
Format
Books / Microforms
3.
Test and control computer user's guide for a Digital Beam Former Test System
Author
Alexovich, Robert E.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : For sale by the National Technical Information Service, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189208
Format
Books / Microforms
4.
Users manual for program ADMIT admittance and pressure transfer function developed for use on a PC computer
Author
Armstrong, Wilbur C.
Published
Huntsville, Ala. : Research Institute, University of Alabama in Huntsville : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184450
Format
Books / Microforms
5.
Implementation notes on bdes (1)
Author
Bishop, Matt
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190442
Format
Books / Microforms
6.
A software control system for the ACTS High-Burst-Rate Link Evaluation Terminal
Author
Reinhart, Richard C.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : For sale by the National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:105207
Format
Books / Microforms
7.
Software for optical archive and retrieval (SOAR) user's guide, version 4.2
Author
Davis, Charles
Published
[Greenbelt, Md.?] : National Aeronautics and Space Administration, Goddard Space Flight Center, National Space Science Data Center, World Data Center A for Rockets and Satellites ; [Springfield, Va.? : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:105039
Format
Books / Microforms
8.
Comparison study of gear dynamic computer programs at NASA Lewis Research Center
Author
Zakrajesek, James J.
Published
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service], 1989.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2901
Format
Books / Microforms
9.
Recalibrating software reliability models
Author
Brocklehurst, Sarah
Published
[Washington, DC : National Aeronautics and Space Administration, 1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186407
Format
Books / Microforms
10.
Software development a paradigm for the future / Victor R. Basili
Author
Basili, Victor R., 1940-
Published
College Park, MD : Institute for Advanced Computer Studies, Dept. of Computer Science, University of Maryland, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186456
Format
Books / Microforms
11.
Ada task scheduling a focused Ada investigation
Author
LeGrand, Sue
Published
Houston, Tex. : Research Institute for Computing and Information Systems, University of Houston - Clear Lake, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186072
Format
Books / Microforms
12.
A nonparametric software reliability growth model
Author
Miller, Douglas R. (Douglas Rathke), 1944-
Published
[Washington, DC : National Aeronautics and Space Administration, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186438
Format
Books / Microforms
13.
Software engineering and Ada training an implementation for NASA
Author
LeGrand, Sue
Published
Houston, Tex. : Research Institute for Computing and Information Systems, University of Houston - Clear Lake, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186071
Format
Books / Microforms
14.
Western Aeronautical Test Range real-time graphics software package MAGIC
Author
Malone, Jacqueline C.
Published
Edwards, Calif. : National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility ; [Springfield, Va. : For sale by the National Technical Information Service], 1988.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100425
Format
Books / Microforms
15.
A NASA-wide approach toward cost-effective high-quality software through reuse : proceedings of the Second NASA Workshop on Software Reuse held at Research Triangle Institute, Research Triangle Park, North Carolina, May 5-6, 1992
Author
NASA Workshop on Software Reuse (2nd : 1992 : Research Triangle Park, NC)
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor], 1993.
Location
SML, Microform (Non-Circulating) >> NAS 1.55:10115
Format
Books / Microforms
16.
Reference information for the software verification and validation process
Author
Wallace, Dolores R.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-234
Format
Books / Microforms
17.
Analysis of large system black box verification test data
Author
Clapp, Kenneth C.
Published
[Urbana-Champaign] ; Coordinated Science Laboratory, College of Engineering, University of Illnois at Urbana-Champaign ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192885
Format
Books / Microforms
18.
Independent verification and validation for space shuttle flight software
Published
[Washington, DC] : Committee for Review of Oversight Mechanisms for Space Shuttle Flight Software Processes, Aeronautics and Space Engineering Board, Commission on Engineering and Technical Systems, National Research Council : National Aeronautics and Space Administration ; [Springfield, Va.? : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190826
Format
Books / Microforms
19.
Building the Scientific Modeling Assistant an interactive environment for specialized software design
Author
Keller, Richard (Richard M.)
Published
[Moffett Field, Calif.] : NASA, Ames Research Center, Artificial Intelligence Research Branch ; [Springfield, Va. : For sale by the National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:107844
Format
Books / Microforms
20.
Guide to software acceptance
Author
Wallace, Dolores R.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology ; [Washington, DC] : For sale by the Supt. of Docs., U.S. G.P.O., 1990.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-180
Format
Books / Microforms
21.
Dreaming in code : two dozen programmers, three years, 4,732 bugs, and one quest for transcendent software
Author
Rosenberg, Scott
Published
New York : Crown Publishers, c2007.
Online
Table of contents only
Location
SML, Stacks, LC Classification >> QA76.76.D47 R668X 2007
Format
Books
22.
The software industry in emerging markets
Published
Cheltenham, UK ; Northhampton, MA : Edward Elgar, c2005.
Location
SML, Stacks, LC Classification >> HD9696.2.A2 S64X 2005 (LC)
Format
Books
23.
Head First design patterns
Author
Freeman, Eric
Published
Sebastopol, CA : O'Reilly, c2004.
Location
SML, Stacks, LC Classification >> QA76.76 D47 F73 2004 (LC)
Format
Books
24.
Software design : from programming to architecture
Author
Braude, Eric J.
Published
Hoboken, NJ : J. Wiley, c2004.
Online
Table of contents
Location
SML, Stacks, LC Classification >> QA76.76.D47 B73 2004 (LC)
Format
Books
25.
From 0 to 1 : an authoritative history of modern computing
Published
Oxford ; New York : Oxford University Press, 2002.
Location
SML, Stacks, LC Classification >> QA76.5 F76X 2002
Format
Books
26.
Software reliability methods
Author
Peled, Doron, 1962-
Published
New York ; Berlin : Springer-Verlag, 2001.
Location
SML, Stacks, LC Classification >> QA76.76 R44 P317X 2001 (LC)
Format
Books
27.
Experience report comparing an automated conformance test development approach with a traditional development approach
Author
Goldfine, Alan H.
Published
[Gaithersburg, Md.?] : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
Location
SML, Microform (Non-Circulating) >> C 13.58:6114
Format
Books / Microforms
28.
Using model checking to generate tests from specifications
Author
Ammann, Paul E.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
Location
SML, Microform (Non-Circulating) >> C 13.58:6166
Format
Books / Microforms
29.
Software testing : a craftsman's approach
Author
Jorgensen, Paul
Published
Boca Raton : CRC Press, c1995.
Location
SML, Stacks, LC Classification >> QA76.76 T48 J67X 1995 (LC)
Format
Books
30.
A framework for the development and assurance of high integrity software
Author
Wallace, Dolores R.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology ; Washington : For sale by the Supt. of Docs., U.S. G.P.O., [1994]
Location
SML, Microform (Non-Circulating) >> C 13.10:500-223
Format
Books / Microforms
31.
Advanced software development workstation object oriented methodologies and applications for flight planning and mission operations
Author
Izygon, Michel
Published
[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, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193706
Format
Books / Microforms
32.
Development of a case tool to support decision based software development
Author
Wild, Christian J.
Published
Norfolk, Va. : Old Dominion University Research Foundation ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193289
Format
Books / Microforms
33.
Digital woes : why we should not depend on software
Author
Wiener, Lauren
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1993.
Location
SML, Stacks, LC Classification >> QA76.76 R44 W53X 1993
Format
Books
34.
Federal Communications Commission (FCC) transponder loading data conversion software. Version 1.2, User's guide and software maintenance manual
Author
Mallasch, Paul G.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:191067
Format
Books / Microforms
35.
Advanced software development workstation comparison of two object-oriented development methodologiess : interim report
Author
Izygon, Michel
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192819
Format
Books / Microforms
36.
Advanced software development workstation effectiveness of constraint-checking : interim report
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190712
Format
Books / Microforms
37.
Advanced Software Development Workstation Engineering Scripting Language graphical editor : DRAFT code documentation : interim report
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190389
Format
Books / Microforms
38.
Advanced Software Development Workstation Engineering Scripting Language graphical editor : summary report
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190391
Format
Books / Microforms
39.
Advanced software development workstation knowledge base design : design of knowledge base for flight planning application
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192818
Format
Books / Microforms
40.
Advanced software development workstation OOPSLA 92 conference trip report
Author
Izygon, Michel
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192811
Format
Books / Microforms
41.
Development and validation of techniques for improving software dependability
Author
Knight, John C.
Published
Charlottesville, VA : Dept. of Computer Science, School of Engineering & Applied Science, University of Virginia, Thornton Hall ; [Springfield, Va.? : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190361
Format
Books / Microforms
42.
Formal design and verification of a reliable computing platform for real-time control phase 2 results
Author
Butler, Ricky W.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:104196
Format
Books / Microforms
43.
Measurement and analysis of operating system fault tolerance
Author
Lee, Inhwan
Published
Urbana, IL : 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, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190973
Format
Books / Microforms
44.
A proposed research program in information processing final technical report, period of performance, 11/01/87 - 09/30/92
Author
Grant, Herbert Schorr
Published
Los Angeles, CA : Information Sciences Institute, University of Southern California, Dept. of Contracts and Grants ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:194271
Format
Books / Microforms
45.
Software reliability through fault-avoidance and fault-tolerance
Author
Vouk, Mladen A.
Published
Raleigh, N.C. : Dept. of Computer Science, North Carolina State University ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189880
Format
Books / Microforms
46.
Statistical modelling of software reliability semi-annual status report no. 2, 1 October 1991 through 31 December 1992
Author
Miller, Douglas R. (Douglas Rathke), 1944-
Published
Fairfax, VA : Dept. of Operations Research and Engineering, School of Information Technology and Engineering, George Mason University ; [Washington, DC] : National Aeronautics and Space Administration, [1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192986
Format
Books / Microforms
47.
Advanced Software Development Workstation Engineering Scripting Language graphical editor : DRAFT design document
Published
[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]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190393
Format
Books / Microforms
48.
Advanced Software Development Workstation phase III : final report
Published
[Clear Lake City, 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, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188824
Format
Books / Microforms
49.
Exploratory research for the development of a computer aided software design environment with the software technology program progress report and summary report, 5/18 - 4/91
Author
Hardwick, Charles
Published
[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, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192821
Format
Books / Microforms
50.
Object links in the repository
Author
Beck, Jon
Published
[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, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190644
Format
Books / Microforms