Export 4 results:
Sort by:
Filters: Author is C. A. Rouff  [Clear All Filters]
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.