Hamid R. Motahari Nezhad, Karen Yorov, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian. COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design. In Khalil Drira, Hongbing Wang, Qi Yu, Yan Wang 0002, Yuhong Yan, François Charoy, Jan Mendling, Mohamed Mohamed, Zhongjie Wang, Sami Bhiri, editors, Service-Oriented Computing - ICSOC 2016 Workshops - ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016. Revised Selected Papers. Volume 10380 of Lecture Notes in Computer Science, pages 194-198, Springer, 2016. [doi]
Abstract is missing.