Strong and weak contract formalism for third-party component reuse

Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson. Strong and weak contract formalism for third-party component reuse. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings. pages 359-364, IEEE, 2013. [doi]

Authors

Irfan Sljivo

This author has not been identified. Look up 'Irfan Sljivo' in Google

Barbara Gallina

This author has not been identified. Look up 'Barbara Gallina' in Google

Jan Carlson

This author has not been identified. Look up 'Jan Carlson' in Google

Hans Hansson

This author has not been identified. Look up 'Hans Hansson' in Google