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]

Abstract

Abstract is missing.