Design-by-contract for reusable components and realizable architectures

Mert Ozkaya, Christos Kloukinas. Design-by-contract for reusable components and realizable architectures. In Lionel Seinturier, Eduardo Almeida, Jan Carlson, editors, CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 4, 2014. pages 129-138, ACM, 2014. [doi]

Abstract

Abstract is missing.