Biblio

Export 3 results:
Sort by:
Filters: Author is J. Rash  [Clear All Filters]
2005
Rash, J., M. G. Hinchey, C. A. Rouff, and D. Gracanin, "Formal requirements-based programming for complex systems", Proceedings of the International Conference on Engineering of Complex Computer Systems, (Shanghai, China, pp. 116-125, June, 2005.
Rash, J., M. G. Hinchey, C. Rouff, D. Gracanin, and J. D. Erickson, "A tool for requirements-based programming", Proceedings of the Integrated Design and Process Technology (IDPT), Beijing, China, June, 2005.
Rash, J., M. G. Hinchey, C. Rouff, D. Gracanin, and J. D. Erickson, "“Experiences with a requirementsbased programming approach to the development of a NASA autonomous ground control system", Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005): 2nd IEEE Workshop on Engineering of Autonomic Systems, Greenbelt, MD, pp. 490–497, April, 2005.