Clear Search

Books+ Search Results

Subject: "Computer software"
Language: Is
Is Is Not
English

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (5,847)

Limit your search

-
Current results range from 1950 to 2024

251.
Software requirements & specifications : a lexicon of practice, principles, and prejudices
Author
Jackson, Michael J. (Michael James)
Published
New York : ACM Press ; Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
252.
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
253.
Software testing : a craftsman's approach
Author
Jorgensen, Paul
Published
Boca Raton : CRC Press, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
254.
Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 880 (LC)
Format
Books
255.
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
256.
Theoretical aspects of computer software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings
Author
TACS '94 (1994 : Sendai-han, Japan)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 789 (LC)
Format
Books
257.
Third International Conference on the Software Process applying the software process : proceedings, October 10-11, 1994, Reston, Virginia
Author
International Conference on the Software Process (3rd : 1994 : Reston, Va.)
Published
Los Alamitos, CA : IEEE Computer Society Press, c1994.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
258.
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
259.
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
260.
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
261.
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
262.
Proceedings of the 7th International Software Process Workshop communication and coordination in the software process : October 15-18, 1991, Yountville, California
Author
International Software Process Workshop (7th : 1991 : Yountville, Calif.)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, 1993.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
263.
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 680 (LC)
Format
Books
264.
Program verification : fundamental issues in computer science
Published
Dordrecht ; Boston : Kluwer Academic Publishers, c1993.
Location
Library Shelving Facility (LSF) >> QA76.76 V47 P76X 1993
Format
Books
265.
Second International Conference on the Software Process continuous software process improvement, February 25-26, 1993, Berlin, Germany
Author
International Conference on the Software Process (2nd : 1993 : Berlin, Germany)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1993.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
266.
Usability engineering
Author
Nielsen, Jakob
Published
Cambridge, Mass. : AP Professional, ©1993.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
267.
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
268.
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
269.
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
270.
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
271.
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
272.
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
273.
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
274.
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
275.
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
276.
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
277.
Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings
Author
EWSPT '92 (1992 : Trondheim, Norway)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 635 (LC)
Format
Books
278.
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
279.
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
280.
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
281.
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
282.
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
283.
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
284.
Software reliability through fault-avoidance and fault-tolerance report #4 (9/1/90-2/28/91) on NAG-1-983
Author
Vouk, Mladen A.
Published
Raleigh, N.C. : Dept. of Computer Science, North Carolina State University ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187998
Format
Books / Microforms
285.
Statistical modelling of software reliability semi-annual status report no. 1
Author
Miller, Douglas R.
Published
Fairfax, Va. : Dept. of Operations Research and Applied Statistcs, School of Information Technology and Engineering, George Mason University ; [Springfield, Va. : National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192985
Format
Books / Microforms
286.
Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
Author
TACS'91 (1991 : Sendai-han, Japan)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 526 (LC)
Format
Books
287.
Advanced Software Development Workstation ACCESS user's guide
Published
[Clear 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, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188823
Format
Books / Microforms
288.
Formal design and verification of a reliable computing platform for real-time control phase 1 results
Author
Di Vito, Ben L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:102716
Format
Books / Microforms
289.
Surrogate oracles, generalized dependency and simpler models
Author
Wilson, Larry
Published
[Washington, DC] : National Aeronautics and Space Administration, [1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187360
Format
Books / Microforms
290.
Computer-aided software engineering (CASE)
Author
Chikofsky, Elliot J.
Published
Washington, D.C. : IEEE Computer Society Press, 1989.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 C53 1989 (LC)+ Oversize
Format
Books
291.
Computer-aided software engineering (CASE)
Author
Chikofsky, Elliot J.
Published
Washington, D.C. : IEEE Computer Society Press, 1989.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
292.
Microcomputer applications handbook
Published
New York : McGraw-Hill, c1989.
Location
Library Shelving Facility (LSF) >> QA76.5 M49 1989
Format
Books
293.
Software Management Environment (SME) concepts and architecture
Published
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:103306
Format
Books / Microforms
294.
The software product assurance metrics study JPL's software systems quality and productivity
Author
Bush, Marilyn W.
Published
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184871
Format
Books / Microforms
295.
Software reliability growth models dominated by randomness
Author
Shen, Wenhui
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181889
Format
Books / Microforms
296.
Software reuse issues affecting AdaNET
Author
McBride, John G.
Published
[Houston, Tex.?] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188597
Format
Books / Microforms
297.
CASE : using software development tools
Author
Fisher, Alan S.
Published
New York : Wiley, c1988.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 F57 1988 (LC)
Format
Books
298.
Incremental assessment and improvement of software reliability midterm report
Author
Morell, Larry J.
Published
Williamsburg, VA : Dept. of Computer Science, College of William and Mary, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:183275
Format
Books / Microforms
299.
Infection and propagation analysis a fault-based approach to estimating software reliability
Author
Morell, Larry Joe
Published
Williamsburg, VA : Dept. of Computer Science, College of William and Mary, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:183276
Format
Books / Microforms
300.
POSIX : portable operating system interface for computer environments
Author
National Institute of Standards and Technology (U.S.)
Published
[Washington, D.C.? ] : U.S. Dept. of Commerce, National Institute of Standards and Technology ; Springfield, VA : For sale by the National Technical Information Service, [1988]
Location
Library Shelving Facility (LSF) >> C 13.52:151
Format
Books