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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.