Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models

Wuliang Sun, Robert B. France, Indrakshi Ray. Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 9-16, IEEE Computer Society, 2011. [doi]

Authors

Wuliang Sun

This author has not been identified. Look up 'Wuliang Sun' in Google

Robert B. France

This author has not been identified. It may be one of the following persons: Look up 'Robert B. France' in Google

Indrakshi Ray

This author has not been identified. Look up 'Indrakshi Ray' in Google