Memoria de investigación y producción académica 2014-2020

Memoria de investigación y producción académica 2014 - 2020 53 Solari, M. 2020 • Moreno, S., Casella, V., Solari, M., & Vallespir, D. (2020). La representación del diseño detallado utilizando plantillas y sus efectos en la calidad del software. En Proceedings XXIII Ibero-American Conference on Software Engineering (CIBSE 2020) (pp. 29-42). Curitiba, Brasil Indexado en Scopus. Solari, M. 2020 • Apa, C., Solari, M., Vallespir, D., & Horta Travassos, G. (2020). A taste of the software industry perception of technical debt and its management in Uruguay: A survey in software industry. En Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM 2020) (9 p.). Bari, Italia. • https://doi.org/10.1145/3382494.3421463 Indexado en Scopus. Solari, M. Matalonga, S. 2014 • Solari, M., & Matalonga, S. (2014). A controlled experiment to explore potentially undetectable defects for testing techniques. En Proceedings of the Twenty Sixth International Conference on Software Engineering and Knowledge Engineering (SEKE 2014) (pp. 106-109). Vancouver, Canada. Szasz, N. 2014 • Calegari, D., Mossakowski, T., & Szasz, N. (octubre, 2014). Model-driven engineering in the heterogeneous tool set. Artículo presentado en CBSoft, the Brazilian Conference on Software: Theory and Practice: Brazilian Symposium on Formal Methods (SBMF 2014). Maceio, Brasil. Szasz, N. Tasistro, Á. 2015 • Fairweather, E., Fernandez, M., Szasz, N., & Tasistro, Á. (2015). Dependent types for nominal terms with atom substitutions. En Leibniz International Proceedings in Informatics, LIPIcs (pp. 180-195). Varsovia, Polonia. Recuperado de http://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol38-tlca2015-complete.pdf Szasz, N. Tasistro, Á. 2018 • Copello, E., Szasz, N., & Tasistro, Á. (2018). Formalisation in constructive type theory of barendregt’s variable convention for generic structures with binders. En P roceedings of the 13th International Workshop on Logical Frameworks and Meta- Languages: Theory and Practice (LFMTP 2018) (pp. 11-26). Oxford, United Kingdom. http://dx.doi.org/10.4204/EPTCS.274.2 Szasz, N. Tasistro, Á. 2018 • Copes, M., Szasz, N., & Tasistro, Á. (2018). Formalization in constructive type theory of the standardization theorem for the lambda calculus using multiple substitution. En Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018) (pp. 27-41). Oxford, United Kingdom. http://dx.doi.org/10.4204/EPTCS.274.3 Tasistro, Á. 2014 • Tasistro, Á. (julio, 2014). On a style of presentation of type systems . Artículo presentado en Joint Meeting of the Twenty- Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Dependently Typed Programming (DTP). Viena, Austria. Tasistro, Á. 2019 • Moreno, S., Vallespir, D., & Tasistro, Á. (2019). Teaching of formal methods: Evidence of its inclusion in curricula, results, and difficulties. En Proceedings XXII Ibero-American Conference on Software Engineering (CIbSE 2019) (pp. 169-182). La Habana, Cuba ARTÍCULOS EN CONFERENCIAS ARBITRADAS / FACULTAD DE INGENIERÍA