Software development tools
A NASA-wide approach toward cost-effective high-quality software through reuse
NASA Workshop on Software Reuse (2nd 1992 Research Triangle Park, N.C.)
Jenkins
John Ferguson Smart
Object-oriented implementation of the NAS parallel benchmarks using charm++
Sanjeev Krishnan
An automated method for identifying inconsistencies within diagrammatic software requirements specifications
Chung Chang
Reuse metrics for object oriented software
James M. Bieman
Formal methods for verification and validation of partial specifications
Steve Easterbrook
Inverting the pendulum using fuzzy control (Center Director's discretionary fund final report--project 93-02)
R. R. Kissel
Research to support intelligent data management
Bao-Ting Lerner
A loader for executing multi-binary applications on the thinking machines CM-5
Jeffrey C. Becker
A distributed program composition system
Robert L. Brown
Developing Java software
R. Winder
Jenkins 2: Up and Running: Evolve Your Deployment Pipeline for Next Generation Automation
Brent Laster
The simulation of read-time scalable coherent interface
Jiang Li
The simulation of read-time scalable coherent interface
Chiang Li
NESSUS/NASTRAN interface (modification of NESSUS to FORTRAN 90 standard)
LabVIEW interface concepts used in NASA scientific investigations and virtual instruments
Analyzing tabular and state-transition requirements specifications in PVS
Sam Owre
Providing access to graphical user interfaces
Elizabeth Mynatt
The applicability of proposed object-oriented metrics to developer feedback in time to impact development
Ralph D. Neal
A toolkit for active object-oriented databases with application to interoperability (response to DARPA BAA 92-06), NAG2-862
Roger King
Generating test templates via automated theorem proving
Mani Prasad Kancherla
Implementation of interaction algorithm to non-matching discrete interfaces between structure and fluid mesh
Po-Shu Chen
Computer aided processing of polyhedric configuratons
H. Nooshin
An automated method for identifying inconsistencies within diagrammatic software requirements specifications
Zhong Zhang
Software development technologies for reactive, real-time, and hybrid systems
Zohar Manna
Fast causal multicast
Kenneth P. Birman
The specification-based validation of Reliable Multicast Protocol
Yunqing Wu
Experience report
Edward A. Addy
WISE, automated support for software project and measurement
Sudhakar Ramakrishnan
Final report for an expert system based software sizing tool, phase II
David Friedlander
Buckets
Numerical propulsion system simulation, software standards & procedures, specification
Hierarchical simulation to assess hardware and software dependability
Gregory Lawrence Ries
SmaggIce user guide
Marivell Baez
An evaluation of an analytical simulation of an airplane with tailplane icing by comparision to flight data
Dale W. Hiltner
ICEG2D--an integrated software package for automated prediction of flow fields for single-element airfoils with ice accretion
David Thompson
ICEG2D--an integrated software package for automated prediction of flow fields for single-element airfoils with ice accretion
David S. Thompson
Modelling systems
Fitzgerald, John
Hudson Continuous Integration in Practice
Ed Burns
An introduction to requirements capture using PVS
Ricky W. Butler