Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem. Building Correct by Construction SOA Design Patterns: Modeling and Refinement. In Khalil Drira, editor, Software Architecture - 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Volume 7957 of Lecture Notes in Computer Science, pages 33-44, Springer, 2013. [doi]
Abstract is missing.