Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems

Michael G. Hinchey, James L. Rash, Christopher Rouff. Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. In 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), 20-22 July 2005, Fuduoka, Japan, 2 Volumes. pages 570-574, IEEE Computer Society, 2005. [doi]

Authors

Michael G. Hinchey

This author has not been identified. Look up 'Michael G. Hinchey' in Google

James L. Rash

This author has not been identified. Look up 'James L. Rash' in Google

Christopher Rouff

This author has not been identified. Look up 'Christopher Rouff' in Google