Call Number (LC) Title Results
NAS 1.26:207003 Cell kinetic and histomorphometric analysis of microgravitational osteopenia PARE.03B : final report : NAG 2-756 / 1
NAS 1.26:207004 NASA grant NCC2-275 final progress report. 1
NAS 1.26:207006 Assessing the geomorphic evolution and hydrographic changes induced by winter storms along the Louisiana coast final report on NASA contract NAGW-3318 : for the period of 1 April 1993 to 30 September 1997 / 1
NAS 1.26:207029 Infrared imaging, spectroscopic, & photometric studies of comets final report, NASA/NAGW-2324 / 1
NAS 1.26:207031 The need for V&V in reuse-based software engineering 1
NAS 1.26:207032 Verifying stability of dynamic soft-computing systems 1
NAS 1.26:207033 An improved suite of object oriented software measures 1
NAS 1.26:207034 The assignment of scale to object-oriented software measures 1
NAS 1.26:207035 A taxonomy of object-oriented measures modeling the object oriented space 1
NAS 1.26:207036 Applying independent verification and validation to automatic test equipment 1
NAS 1.26:207037 A case study of IV & V cost effectiveness 1
NAS 1.26:207038 A taxonomy of object-oriented measures modeling the object oriented space 1
NAS 1.26:207039 High-performance, reliable multicasting foundations for future Internet groupware applications / 1
NAS 1.26:207040 Formal methods for verification and validation of partial specifications a case study / 1
NAS 1.26:207041 A loss tolerant rate controller for reliable multicast 1
NAS 1.26:207042 Generating test templates via automated theorem proving 1
NAS 1.26:207043 Validating requirements for fault tolerant systems using model checking 1
NAS 1.26:207044 Experiences using lightweight formal methods for requirements modeling 1
NAS 1.26:207045 A framework for performing verification and validation in reuse based software engineering 1
NAS 1.26:207046 An automated method for identifying inconsistencies within diagrammatic software requirements specifications thesis ... / 1