Biblio

Export 3 results:
Sort by:
Filters: Author is C. Rouff  [Clear All Filters]
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.
Hinchey, M. J. L. R., C. Rouff, and D. Gracanin, "An approach to verifying complex procedures", Proceedings of the Workshop on Controlling Complexity, 2005 IEEE Computational Systems Bioinfor- matics Conference, Stanford, CA, August, 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.