Topic
Program verification (Computers)
45 books
Software project management and measurement on the World-Wide-Web (WWW)
by John Callahan and Sudhakar Ramakrishnan.
Land surface temperature measurements from EOS MODIS data: semi-annual report ... for July-December, 1993
principal investigator, Zhengming Wan.
The specification-based validation of Reliable Multicast Protocol: problem report
Yunqing Wu.
Performance validation of the ANSER control laws for the F-18 HARV
Michael D. Messina.
Validation of the NPARC code for nozzle afterbody flows at transonic speeds
James R. DeBonis and Nicholas J. Georgiadis, Crawford F. Smith.
A survey of program slicing for software engineering
Jon Beck.
Proceedings of the Nineteenth Annual Software Engineering Workshop
Software Engineering Workshop (19th 1994 Greenbelt, Md.)
Expert system verification and validation study.: trip summaries
Scott French, David Hamilton.
UNIX-based operating systems robustness evaluation
Yu-Ming Chang.
Development of a software safety process and a case study of its use: annual progress report / submitted by John C. Knight.
John C. Knight
Showing 10 of 45 books