II Currículum Vitae 1 - Datos Personales 2 - Títulos Obtenidos Nombres y apellidos: Silvana Moreno Fecha de nacimiento: 09/01/1983 Domicilio: Av. Rivera 3085 apto 501 Teléfono: 099090228 E-mail: smoreno@fing.edu.uy a) Títulos de grado y posgrado. Junio 2013 - Título de Magister en Informática Área de conocimiento: Ciencias de la computación Ingeniería de software. Febrero 2010 - Título de Ingeniera en Computación Área de conocimiento: Ciencias de la computación Ingeniería de software. Diciembre 2008 - Título de Analista en Computación Área de conocimiento: Ciencias de la computación. 2008 - Título de Analista GeneXus aprobado con 100%. Artech, Uruguay b) Tesis defendidas de grado y posgrado. Junio 2013 Tesis para obtener el título de Magister en Informática Tutores: Diego Vallespir, Álvaro Tasistro Febrero 2010 Tesis para obtener el título de Ingeniera en Computación Tutor: Diego Vallespir 3 - Estudios realizados 2011-2013 - Título de Magister en Informática Área de conocimiento: Ciencias de la computación Ingeniería de software. 2001-2010 - Título de Ingeniera en Computación
Área de conocimiento: Ciencias de la computación Ingeniería de software. 2001-2008 - Título de Analista en Computación Área de conocimiento: Ciencias de la computación. 20008-2008 - Título de Analista GeneXus aprobado con 100%. Artech, Uruguay 4 - Cargos Desempeñados a) Cargos universitarios. Los siguientes cargos son en la Facultad de Ingeniería Universidad de la Republica. La forma de acceso a los mismos fue a través de llamados publicitados abiertos. 01/04/2012 30/06/2013 Asistente grado 2 30 horas 01/11/2011 31/12/2011 Asistente grado 2 33 horas 01/11/2011-31/05/2014 Asistente grado 2 6 horas. 30/06/2010-31/12/2010 Ayudante grado 1 15 horas 24/07/2009-01/01/2010 Ayudante grado 1 6 horas b) Cargos no universitarios. Inghenia S.R.L 2007 actualmente Cargo: Jefe de Proyecto Forma de acceso: calificación por CV. Sonda Uruguay 2007-2007 Cargo: Desarrolador Web Forma de acceso: entrevista personal 5 - Actividades de Investigación El software se ha vuelto muy común e importante en el mundo moderno actual. El tamaño, la complejidad de las aplicaciones, las tasas apresuradas de entregas de proyectos, las características de los equipos de desarrollo, entre otros, hacen que los productos de software contengan defectos. Estos defectos pueden ocasionar fallas en el software mientras este se está ejecutando. La búsqueda de desarrollar software cero defectos ha dado lugar a un gran número de procesos y metodologías de desarrollo. El Personal Software Process (PSP) es uno de estos procesos. El PSP aplica disciplina de proceso y gestión cuantitativa al trabajo individual del ingeniero de software. Promueve la utilización de prácticas específicas durante todas las etapas del desarrollo con el objetivo de mejorar la calidad del producto y aumentar la productividad del individuo. Por otro lado, los métodos formales son un conjunto de técnicas para especificar, desarrollar y verificar sistemas software mediante el uso del lenguaje matemático. Consisten en demostrar
matemáticamente que los programas producidos cumplen sus especificaciones. El diseño por contrato (DbC) es una técnica para el diseño de los componentes de un sistema de software, mediante el establecimiento de las condiciones (pre y post condiciones) y el comportamiento en un lenguaje formal. Cuando las técnicas y herramientas incorporadas permiten demostrar que se cumplen los requisitos establecidos, estamos en presencia de un método formal generalmente llamado Verified Design by Contract (VDbC). En esta línea mi trabajo ha sido la construcción de un nuevo proceso de desarrollo de software que combina el PSP y VDbC, denominado PSP VDC. El objetivo del PSP VDC es mejorar, en comparación con el uso del PSP sin VDbC, la calidad de los productos y mantener o mejorar la productividad del individuo. Para conocer si la calidad y productividad de PSP VDC aumenta con respecto a PSP es necesario ejecutar experimentos formales. Esperamos de esta forma aportar en la búsqueda de procesos que ayuden a desarrollar productos cero defectos. 5.1 - Actividades de creación de conocimiento documentadas 5.1.a Publicaciones a- artículos científicos o académicos publicados Publicaciones en Revistas Arbitradas Diego Vallespir, Silvana Moreno, Carmen Bogado, Juliana Herbert. Towards a framework to compare formal experiments that evaluate testing techniques in Research in Computing Science, Vol. 43, Special Issue of the Mexican International Conference on Computer Science (selected paper), Ed. Alejandro Buchmann, pp 69 80, ISSN 1870-4069, 2009. Anales (Proceedings) de Conferencias Arbitradas Silvana Moreno, Álvaro Tasistro, Diego Vallespir, PSPdc: An Adaptation of the PSP to Incorporate Verified Design by Contract in Proceedings TSP Symposium 2012: Delivering agility with discipline (Special Report Software Engineering Institute, Carnegie Mellon University, CMU/SEI-2012- SR-015), pp.41 50, Saint Petersburg, Florida, EEUU, Setiembre 2012. Diego Vallespir, Carmen Bogado, Silvana Moreno, Juliana Herbert. Comparando las técnicas de verificación Todos los usos y Cubrimiento de sentencias en Proceedings Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento, pp.85 95, ISBN: 978-607-707-096-2, Yucatán, México, Noviembre, 2010. Reportes Técnicos y Otros Cecilia Apa, Stephanie De León, Silvana Moreno, Rosana Robaina, Diego Vallespir. Conceptos de Ingeniería de Software Empírica versión 2.0., Universidad de la República, Facultad de Ingeniería, Technical Report 13-01InCo/Pedeciba Mayo, 2013. Silvana Moreno, Álvaro Tasistro, Diego Vallespir, William Nichols. PSP VDC : An Adaptation of the PSP to Incorporate Verified Design by Contract. Technical Report, CMU/SEI-2013-TR-005, ESC- TR-2013-005. Abril 2013.
Silvana Moreno, Álvaro Tasistro, Diego Vallespir Systematic Literature Review of PSP Adaptations, Universidad de la República, Facultad de Ingeniería, Technical Report InCo/Pedeciba Mayo, 2013. b- documentos de trabajo Actualmente se está elaborando un artículo para presentar en la Revista Latinoamericana de Ingeniería de Software (ISSN 2314-2642). Este artículo presenta el PSP VDC junto con un ejemplo práctico de su aplicación. 5.1.c Desarrollos tecnológicos (productos o procesos, patentes, informes técnicos) Autora del PSP VDC: nuevo proceso de desarrollo de software que combina el PSP (Personal Software Process) con el diseño por contrato verificado. 5.2 Presentación de trabajos en congresos. Conferencia Arbitrada: Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento Título: Comparando las técnicas de verificación Todos los usos y Cubrimiento de sentencias Yucatán, México, Noviembre, 2010. ISBN: 978-607-707-096-2 5.3 Participación en proyectos de investigación Marzo 2009 Diciembre 2011 Título: Gestión de defectos basado en categorías de defectos. Responsable: Diego Vallespir Participantes: Silvana Moreno, María Elisa Presto, Carmen Bogado, Carolina Valverde, Bruno Bianchi, Fernanda Grazzioli, Cecilia Apa, Stephanie De León y Rosana Robaina. Proyecto aprobado académicamente y sin financiación por la agencia Nacional de Investigación e Innovación (ANNI) en el 2008. 5.4 Arbitraje y evaluación de proyectos. Estos Proyectos de Grado son para la carrera Ingeniería en Computación, Facultad de Ingeniería, Universidad de la República. Agosto 2012 Título: Comparación de la carrera Ingeniería en Computación de la UdelaR con la propuesta en Computer Science de la ACM/IEEE-CS. Estudiante: Valeria Bonjour Tutores: Diego Vallespir, Rodolfo País Tribunal: Silvana Moreno, Laura González, Mónica Martínez
Diciembre 2010 Título: Análisis de Herramientas para Pruebas Unitarias Estudiantes: Lucia Camilloni, Adriana Avila, Fernando Marotta Tutores: Diego Vallespir, Cecilia Apa Tribunal: Daniel Calegari, Javier Barreiro, Silvana Moreno 5.5 Becas y pasantías. Beca de Postgrados Nacionales - ANNI Numero de beca: POS_NAC_2011_1_3616 En diciembre 2011 se aprobó la beca de postgrado. En Abril del 2012 se decide renunciar a la beca por motivos de carga horaria. La facultad de Ingeniería me brindó una extensión horaria que sumadas a las horas de mi actividad privada superan las horas permitidas para hacer usufructo de la beca (requisito solicitado por la ANII). Se mantiene el compromiso con la ANNI de finalizar la maestría en tiempo y forma, el se cumple. 6 - Actividades de Enseñanza en los últimos 5 años Numerar en cada ítem las actividades que se detallan. 6.1 Principales cursos universitarios dictados Indicar en cada caso si se trata de la responsabilidad del dictado del curso o de alguna de sus partes, señalando el nombre del curso. 6.1.a Actividades a nivel de grado. Indicar la carrera o licenciatura y los años en que fueron dictados los cursos. Año: 2013 Curso de Proyecto de Ingeniería de Software Tareas desarrolladas: Codirección de grupo de estudiantes Año: 2009 actualmente Curso de Introducción a la ingeniería de software. Tareas desarrolladas: o Elaboración y resolución de los trabajos obligatorios. o Elaboración y resolución de parciales y exámenes. o Docente de los monitoreos. 6.1.c Dirección de tesis de grado Marzo 2013 Actualmente Título: Análisis de Lenguajes de Especificación Formal Estudiantes: Gabriel Arrospide, Vanessa Casella Tutores: Diego Vallespir, Silvana Moreno 6.2 Generación de material didáctico Colaboración en el armado de material práctico y de laboratorio para la asignatura Introducción a la Ingeniería de Software 7 - Actividades de extensión universitaria y relacionamiento con el medio
7.2 Convenios 08/2009-07/2010 Extensión, Instituto de Computación, Grupo de Ingeniería de Software Convenio con el Servicio Central de Informática de la Universidad 8 - Actividades de Gobierno y Gestión Universitaria 2012- Actualmente Colaboración con el Centro de Posgrados y Actualización Profesional (CPAP): cronograma de cursos, gestión de la web, propuesta de revista. 9 - Actividades Profesionales 2007- actualmente Inghenia S.R.L Jede Directo: Felipe Arocena Cargo: Jefe de Proyecto Actualmente soy responsable del Proyecto INIA: Relevamiento de Información Análisis de Problemas Diseño e Implementación de Soluciones Testing, soporte y mantenimiento de desarrollos 2007 - Sonda Uruguay Jefe Directo: Carlos Russo Cargo: Desarrolador Web Desarrollo de aplicación Web para gestión de morosos en BHU, relevamiento de información con funcionarios, capacitación con el uso de la misma.