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)

   Google Scholar 

2. Albert, E., Flores-Montoya, A., Genaim, S., Martin-Martin, E.: May-happen-in-parallel analysis for actor-based concurrency. ACM Trans. Comput. Logic17(2), 11:1–11:39 (2016)

   Google Scholar 

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)

   Google Scholar 

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)

   Article  Google Scholar 

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)

   Google Scholar 

6. Cavalli, A.R., Higashino, T., Núñez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecom.70(3–4), 85–93 (2015)

   Article  Google Scholar 

7. Cerro-Cañizares, P., Nuñez, A., de Lara, J.: MAGICIAN: model-based design for optimizing the configuration of data-centers. In: Proceedings of SEKE, pp. 602–607 (2017)

   Google Scholar 

8. Clarisó, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw.116, 113–132 (2016)

   Article  Google Scholar 

9. Sánchez Cuadrado, J., de Lara, J.: Streaming model transformations: scenarios, challenges and initial solutions. In: Duddy, K., Kappel, G. (eds.) ICMT 2013. LNCS, vol. 7909, pp. 1–16. Springer, Heidelberg (2013).https://doi.org/10.1007/978-3-642-38883-5_1

   Chapter  Google Scholar 

10. Cuadrado, J.S., Guerra, E., de Lara, J.: Static analysis of model transformations. IEEE Trans. Softw. Eng.43(9), 868–897 (2017)

    Google Scholar 

11. de Lara, J., Guerra, E.: A posteriori typing for model-driven engineering: concepts, analysis, and applications. ACM Trans. Softw. Eng. Methodol.25(4), 31:1–31:60 (2017)

    Google Scholar 

12. de Lara, J., Di Rocco, J., Di Ruscio, D., Guerra, E., Iovino, L., Pierantonio, A., Cuadrado, J.S.: Reusing model transformations through typing requirements models. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 264–282. Springer, Heidelberg (2017).https://doi.org/10.1007/978-3-662-54494-5_15

    Chapter  Google Scholar 

13. Doménech, J., Genaim, S., Johnsen, E.B., Schlatte, R.: EasyInterface: a toolkit for rapid development of GUIs for research prototype tools. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 379–383. Springer, Heidelberg (2017).https://doi.org/10.1007/978-3-662-54494-5_22

    Chapter  Google Scholar 

14. Gordijn, J., Akkermans, H., Van Vliet, J.: Designing and evaluating e-business models. IEEE Intell. Syst.16(4), 11–17 (2001)

    Article  Google Scholar 

15. Granada, D., Vara, J.M., Brambilla, M., Bollati, V., Marcos, E.: Analysing the cognitive effectiveness of the webml visual notation. Softw. Syst. Model.16(1), 195–227 (2017)

    Google Scholar 

16. Guerra, E., de Lara, J.: Automated analysis of integrity constraints in multi-level models. Data Knowl. Eng.107, 1–23 (2017)

    Article  Google Scholar 

17. Hierons, R.M., Merayo, M.G., Núñez, M.: An extended framework for passive asynchronous testing. J. Logical Algebraic Methods Program.86(1), 408–424 (2017)

    Article MathSciNet MATH  Google Scholar 

18. Jiménez, Á., Vara, J.M., Bollati, V.A., Marcos, E.: Metagem-trace: improving trace generation in model transformation by leveraging the role of transformation models. Sci. Comput. Program.98, 3–27 (2015)

    Article  Google Scholar 

19. Kolovos, D., Rose, L., Paige, R., Guerra, E., Cuadrado, J., De Lara, J., Ráth, I., Varró, D., Sunyé, G., Tisi, M.: MONDO: scalable modelling and model management on the cloud. In: STAF Projects Showcase, CEUR Workshop Proceedings, vol. 1400, pp. 44–53. CEUR-WS.org (2015)

    Google Scholar 

20. López-Fernández, J.J., Garmendia, A., Guerra, E., de Lara, J.: Example-based generation of graphical modelling environments. In: Wąsowski, A., Lönn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 101–117. Springer, Cham (2016).https://doi.org/10.1007/978-3-319-42061-5_7

    Google Scholar 

21. López-Fernández, J.J., Guerra, E., de Lara, J.: Combining unit and specification-based testing for meta-model validation and verification. Inf. Syst.62, 104–135 (2016)

    Article  Google Scholar 

22. Mastroeni, I., Zanardini, D.: Abstract program slicing: an abstract interpretation-based approach to program slicing. ACM Trans. Comput. Logic18(1), 7:1–7:58 (2017)

    Google Scholar 

23. Merayo, M.G., Núñez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol.64, 19–35 (2015)

    Article  Google Scholar 

24. Núñez, A., Hierons, R.M.: A methodology for validating cloud models using metamorphic testing. Ann. Telecommun.70(3–4), 127–135 (2015)

    Article  Google Scholar 

25. Osterwalder, A., Pigneur, Y.: Business Model Generation: a Handbook for Visionaries, Game Changers, and Challengers. Wiley, Hoboken (2010)

    Google Scholar 

26. Di Rocco, J., Di Ruscio, D., Pierantonio, A., Cuadrado, J.S., de Lara, J., Guerra, E.: Using ATL transformation services in the MDEForge collaborative modeling platform. In: Van Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 70–78. Springer, Cham (2016).https://doi.org/10.1007/978-3-319-42064-6_5

    Chapter  Google Scholar 

27. Rossini, A., de Lara, J., Guerra, E., Nikolov, N.: A comparison of two-level and multi-level modelling for cloud-based applications. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 18–32. Springer, Cham (2015).https://doi.org/10.1007/978-3-319-21151-0_2

    Chapter  Google Scholar 

28. Sampson, S.E.: Visualizing service operations. J. Serv. Res.15(2), 182–198 (2012)

    Google Scholar 

29. Cuadrado, J.S., Guerra, E., de Lara, J.: Reusable model transformation components withbentō. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 59–65. Springer, Cham (2015).https://doi.org/10.1007/978-3-319-21155-8_5

    Chapter  Google Scholar 

30. Zanardini, D., Albert, E., Villela, K.: Resource-usage-aware configuration in software product lines. J. Logic Algebraic Methods Program.85(1), 173–199 (2016)

    Article MathSciNet MATH  Google Scholar 

Download references