A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements.

Hamid R. Motahari Nezhad, Taiga Nakamura, Adi Sosnovich, Peifeng Yin, Karen Yorav

Browse the full ICSOC paper archive.