Author:
Albert Elvira,Cañizares Pablo C.,Guerra Esther,de Lara Juan,Marcos Esperanza,Núñez Manuel,Román-Díez Guillermo,Vara Juan Manuel,Zanardini Damiano
Publisher
Springer International Publishing
Reference30 articles.
1. Albert, E., Arenas, P., Gómez-Zamalloa, M.: Testing of concurrent and imperative software using CLP. In: 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016, pp. 1–8. ACM Press (2016)
2. Albert, E., Flores-Montoya, A., Genaim, S., Martin-Martin, E.: May-happen-in-parallel analysis for actor-based concurrency. ACM Trans. Comput. Logic 17(2), 11:1–11:39 (2016)
3. Benelallam, A., Tisi, M., Sánchez Cuadrado, J., de Lara, J., Cabot, J.: Efficient model partitioning for distributed model transformations. In: Proceedings of SLE, pp. 226–238. ACM (2016)
4. Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. California Manag. Rev. 50(3), 66–94 (2008)
5. Carrascal, C., Sánchez, J., de Lara, J.: Building MDE cloud services with distil. In: CloudMDE@MODELS, CEUR Workshop Proceedings, vol. 1563, pp. 19–24 (2015)