Biblio

Export 4 results:
Sort by:
Filters: Author is C. A. Rouff  [Clear All Filters]
2006
Hinchey, M. G., J. L. Rash, C. A. Rouff, and D. Gracanin, "Achieving dependability in sensor networks through automated requirements-based programming", Computer Communications, vol. 29, no. 2, pp. 246–256, 2006.
Rash, J. L., M. G. Hinchey, C. A. Rouff, D. Gracanin, and J. Erickson, "A requirements-based programming approach to developing a nasa autonomous ground control system", Artificial Intelligence Review, vol. 25, no. 4, pp. 285–297, 2006.
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.
Sterritt, R., M. G. Hinchey, J. L. Rash, W. Truszkowski, C. A. Rouff, and D. Gracanin, "Towards formal specification and generation of autonomic policies", Proceedings of the EUC Workshops 2005, vol. 3823 of Lecture Notes in Computer Science: Springer, pp. 1245–1254, 2005.