Exploiting assumption-based verification for the adaptation of service-based applications

Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl. Exploiting assumption-based verification for the adaptation of service-based applications. In Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. pages 2430-2437, ACM, 2010. [doi]

Abstract

Abstract is missing.