TY - RPRT TI - Choosing a software design method for real-time Ada applications: JSD process inversion as a means to tailor a design specification to the performance requirements and target machine AU - Withey, James V. PY - 1986 UR - https://ntrs.nasa.gov/citations/19890006952 ID - 19890006952 ER -