Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-18 of 18 results for author "Knight, John C."
Development and validation of techniques for improving software dependability [microform] / submitted by John C. Knight.
- Text
- Charlottesville, VA : Dept. of Computer Science, School of Engineering & Applied Science, University of Virginia, Thornton Hall ; [Springfield, Va.? : National Technical Information Service, distributor, 1992]
- 1992
A research program in empirical computer science [microform] : a final report, grant no. NAG-1-1073, November 22, 1989 - November 21, 1990 / submitted by J.C. Knight.
- Text
- Charlottesvile, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
- 1991
Software fault tolerance using data diversity [microform] : an annual progress report, April 1, 1990 - March 31, 1991 / submitted by John C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Sciencew [sic], School of Engineering and Applied Science, University of Virginia ; Hampton, VA : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
- 1991
The implementation and use of Ada on distributed systems with high reliability requirements [microform] : annual progress report / submitted to C. Michael Holloway, NASA Langley Research Center ; submitted by J. C. Knight.
- Text
- Charlottesville, Va. : School of Engineering and Applied Science, Dept. of Computer Science, University of Virginia ; Hampton, VA : The Center ; [Springfield, Va. : National Technical Information Service, distributor, 1988]
- 1988
Development of a software safety process and a case study of its use [microform] : annual progress report / submitted by John 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, 1993]
- 1993
Detection of faults and software reliability analysis [microform] / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
- 1987
The implementation and use of Ada on distributed systems with high reliability requirements [microform] : an annual report, grant no. NAG-1-260, March 5, 1982 - December 31, 1986 / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
- 1987
Second generation experiments in fault tolerant software [microform] / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
- 1987
The implementation and use of Ada on distributed systems with high reliability requirements [microform] : semi-annual report, grant no. NAG-1-206, March 5, 1982 - February 14, 1988 / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1987]
- 1987
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
Detection of faults and software reliability analysis [microform] : annual progress report, award no. NAG-1-605 / submitted to National Aeronautics and Space Administration, Langley Research Center ; submitted by J.C. Knight.
- Text
- Charlottesville, Va. : School of Engineering and Applied Science, Dept. of Computer Science, University of Virginia ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1986]
- 1986
The implementation and use of Ada on distributed systems with high reliability requirements [microform] : semi-annual progress report / submitted by J.C. Knight, S.T. Gregory, J.I.A. Urquhart.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1985]
- 1985
A second generation experiment in fault-tolerant software [microform] : semi-annual progress report, September 1, 1984-December 31, 1986 / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1986]
- 1986
The implementation and use of Ada on distributed systems with high reliability requirements [microform] : semi-annual progress report, March 5, 1982-December 31, 1986 / submitted by J.C. Knight.
- Text
- Charlottesville, Va. : Dept. of Computer Science, School of Engineering and Applied Science, University of Virginia ; [Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1986]
- 1986
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
Pascal/48 reference manual [microform] / John C. Knight ; revised, Roy W. Hamm.
- Text
- [Washington, D.C. : National Aeronautics and Space Administration, 1984]
- 1984
Comprehensive lifecycle for assuring system safety / John C. Knight and Jonathan C. Rowanhill.
- Text
- Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, April 2017.
- 2017-401
- 1 Resource
Available Online
https://purl.fdlp.gov/GPO/gpo81059A 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.
