A Comprehensive Evaluation Model for BASE Transaction Processing Topics: Cloud Applications; Formal Methods; Model-Driven Engineering In Proceedings of the 9th International Conference on Software Engineering and Applications - Volume 0ICSOFT, 393-400, 2014 , Vienna, Austria