COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design.

Hamid R. Motahari Nezhad, Karen Yorav, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian

Browse the full ICSOC paper archive.