Anuario 2012 - Universidad ORT Uruguay

26 Anuario 2012 / Facultad de Ingeniería Matturro, G. Matturro, G., & Saavedra, M. J. (2012, Abril). Factores que inciden en la mejora de procesos software. Un mapeo sistemático de la literatura . En XV Congreso Iberoamericano en Software Engineering (CIbSE2012), (pp. 84-97). Buenos Aires, Argentina: The Chartered Institution of Building Services Engineers. Pais, J. Tasistro, A. Pais, J., & Tasistro, A. (2012). Design and implementation of a proof assistant for natural deduction. Artículo presentado en XIV Simposio Internacional de Informática Educativa (SIIE 2012). Andorra La Vella, Andorra. Quintana, G. Solari, M. Quintana, G., & Solari, M. (2012, Octubre). Estudio de mapeo sistemático sobre experimentos de generación automática de casos de prueba estructurales . Artículo presentado en XXXVIII Conferencia Latinoamericana de Informática (CLEI 2012); Simposio Latinoamericano en Ingeniería Software. Medellín, Colombia. Solari, M. Macchi, D., & Solari, M. (2012, Octubre). Mapeo sistemático de la literatura sobre la adopción de inspecciones de software . Artículo presentado en XXXVIII Conferencia Latinoamericana de Informática (CLEI 2012); Simposio Latinoamericano en Ingeniería Software. Medellín, Colombia. Juristo, N., Vegas, S., Solari, M., Abrahão, S., & Ramos, I. (2012). Comparing the effectiveness of equivalence partitioning, branch testing and code reading by stepwise abstraction applied by subjects . En 5 th IEEE International Conference on Software Testing, Verification and Validation (ICST 2012), (pp. 330-339). Montreal, Canadá: IEEE. Szasz, N. Calegari, D., & Szasz, N. (2012, Octubre). Verification of model transformation: a survey of the state-of-the- art . Artículo presentado en XXXVIII Conferencia Latinoamericana de Informática (CLEI 2012); Simposio Latinoamericano en Ingeniería Software. Medellín, Colombia. Tasistro, A. Moreno, S., Tasistro, A., & Vallespir, D. (2012). PSPDC: an adaptation of the PSP to incorporate verified design by contract. En Team Software Process (TSP) Symposium 2012 Proceedings, (pp. 41-50). St. Petersburg, Florida, Estados Unidos: Software Engineering Institute. Topolansky, E. Topolansky, E., & Bellomusto, G. (2012, Octubre). Venture Day Iberoamericano +R . Artículo presentado en VI Workshop Formación de Emprendedores Universitarios. Lima, Perú. Artículos arbitrados presentados o publicados en actas de conferencias arbitradas PRODUCCIÓN ACADÉMICA 20 12