https://rdu.iua.edu.ar/handle/123456789/104 ProCI Mon, 06 Apr 2026 02:40:48 GMT 2026-04-06T02:40:48Z https://rdu.iua.edu.ar/handle/123456789/2104 Título: Propuesta de revisión de requerimiento en un proceso de desarrollo de software científico técnico Autores: Boggio, María A.; Perez, Sofía; Salomon, Alicia; Mira, Natalia Resumen: En un proyecto de desarrollo de software, el área de testing debe validar y verificar el software construido teniendo presente los requisitos especificados por el cliente. La Ingeniería de Requerimientos como disciplina tiene la responsabilidad de generar especificaciones que describan con claridad, sin ambigüedades, de forma correcta, consistente y compacta. Pero se pueden presentar inconvenientes dado que "lo que debe hacer un sistema" no siempre es obvio, es difícil de expresar en palabras, los requisitos son volátiles, se originan en múltiples fuentes, la cantidad puede aumentar la complejidad, y son expresados por los usuarios. Un área de trabajo de una dependencia debe validar el producto software que han construido otros grupos, a partir de los requisitos que originalmente los analistas funcionales o expertos del dominio especificaron. Para hacerlo, el equipo de prueba recibe como entrada el requerimiento operativo y realiza la revisión del producto - ya sea con casos de prueba, escenarios o validación de criterios - identificando aspectos de la especificación que a esta altura del ciclo de desarrollo deben ser "tomados" con muy escasa posibilidad de cambios. Este trabajo plantea una intervención del equipo de testing en etapas tempranas del desarrollo, trabajando en la verificación de los criterios SMART de redacción de objetivos. Como resultado, se obtiene una nueva versión de la especificación de requerimientos, concretos, medible, realizable, realista, acotado en tiempo. Esta revisión previa al desarrollo requiere una actividad colaborativa entre el equipo de especialistas del dominio y de testing. En estas intervenciones se aplican técnicas y herramientas de la IO Soft para realizar el análisis de los requerimientos mediante un CATWOE aplicado a los requerimientos propuestos. A continuación se utiliza el Software Bizagi para representar los requerimientos que deben ser implementados, aplicando herramientas y técnicas de la Ingeniería del Software. Tue, 01 Jan 2019 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/2104 2019-01-01T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/2103 Título: Una propuesta de Taxonomía para especializar el proceso de validación y verificación de software crítico Autores: Salomon, Alicia Resumen: El objetivo del trabajo es generar una taxonomía que permita la sistematización de un proceso de desarrollo de Verificación y Validación (V&V) de software en sistemas críticos. Esta taxonomía se basa en lograr coyuntura de aspectos claves que necesita el área de V&V para garantizar que se ha aplicado el proceso adecuado a las necesidades del producto a probar, y agilizar el trabajo de las personas involucradas. En esta taxonomía se incluyen las características del sistema desarrollado para ser validado, un detallado proceso de V&V que según la particularidades del producto contendrá las actividades indicadas y un conjunto de herramientas sugeridas que darán agilidad al proceso establecido. Este desarrollo se basa en la experiencia llevada a cabo en el área de Dirección de Análisis Operativo (DAO) con el proyecto Undefi Convocatoria 2017, en donde se logró establecer un modelo de referencia de V&V que implementa técnicas y patrones de pruebas basados en normas de referencia específicas del ámbito científico-técnico. En la etapa de experimentación del modelo además de los componentes software de los simuladores de vuelo se probaron otros módulos de sistemas software que desarrolla el Centro de Simulación y Juegos de Guerra para el entrenamiento de los equipos de personas que definen las estrategias en los Puesto de Comando de Defensa Anti-aérea. De esta forma, se está en presencia de un escenario complejo en el cual el área responsable de la validación debe abordar más de un proceso simultáneamente. Esto implica mantener el control de "todos" los procesos, gestionarlos y ejecutarlos, quizás con características similares en diferente medida. Ante esto, el equipo plantea considerar la analogía con el trabajo de numerosas disciplinas, en las que cuando un científico inicia un estudio, generalmente comienza clasificando los elementos que observa en un conjunto de clases o categorías: se define una taxonomía, clasificando u ordenando los objetos en grupos que comparten características o comportamientos comunes, a la vez que identifican parámetros que diferencian dichos grupos entre sí. Bajo esta premisa, el presente proyecto propone el desarrollo de una taxonomía fidedigna y completa que describa el proceso de validación de software crítico, que permita identificar procesos, subprocesos, actividades, entregables y cadenas de trabajo en dicho proceso, con el objetivo final de transformar la taxonomía (sin pérdida de información) en una especificación a partir de la cual se pueda generar un proceso de validación específico para cada software en particular, pudiendo diferir y especializar este proceso según sea el producto en cuestión a validar, generando para ello un conjunto de actividades relacionadas y ordenadas realizadas por trabajadores bajo ciertas normas que obtienen artefactos concretos y trazables. De esta forma, se podrá replicar un proceso de manera sistemática y ordenada. El resultado final que persigue el proyecto con la implementación de esta taxonomía es asegurar la calidad del software desarrollado por los diferentes equipos de la FAA. garantizando a la División de Análisis Operativo (DAO), área responsable de su homologación, que el modelo elegido para las actividades de V&V que implementa es el adecuado de acuerdo a la naturaleza del sistema. Tue, 01 Jan 2019 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/2103 2019-01-01T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/1902 Título: Blockchain Aplicada a las Organizaciones Públicas y Privadas Autores: Casanovas, Eduardo; Boiero, Fernando; Tapia, Carlos; Pérez, Sofía; Casanovas, José Ignacio; Lezama, Adrián; Fernández, Serafín; Geller, Franco; Leiton, Jeremías Resumen: Blockchain, en adelante, "BC" es una nueva forma para que las empresas, los sectores de la industria y los organismos públicos puedan realizar y comprobar transacciones de forma casi instantánea, lo que facilita los procesos de negocio, ayuda a ahorrar costos y reduce las posibilidades de fraude. Básicamente podemos decir que BC es una base de datos distribuida, NO modificable, Aplicable a todo tipo de transacciones, existiendo una réplica de toda la información en todos los nodos de la red. El objetivo de este proyecto es investigar y definir una solución para llevar a las organizaciones un sistema funcionando se desarrollará en la Facultad de Ingeniería del Centro Regional Universitario Córdoba. Este trabajo involucra la creación de un modelo de referencia que provee un marco de trabajo tanto al área de finanzas por el manejo y gestión de las criptomonedas, sino también a áreas de desarrollo de software de las nuevas aplicaciones y las nuevas APIs (Application Programing Interface - Interfaz de programación de aplicaciones) requeridas para poder realizar la adaptación de los sistemas en funcionamiento a la red BC. En este proyecto se construirá una arquitectura de nodos que permitirá realizar el despliegue de organizaciones validadoras de cadenas de bloques constituida para un objetivo determinado. Una cadena de bloques es una estructura de datos que se usa para crear un "libro de contabilidad" de transacciones digitales que, en lugar de pertenecer a un único proveedor, se comparte en una red distribuida de equipos. El resultado es un sistema más abierto y transparente que se puede comprobar de forma pública y que cambiará radicalmente nuestra forma de considerar el intercambio de valores yactivos, la ejecución de contratos y el uso compartido de datos entre los distintos sectores. Las aplicaciones que usan BC son prácticamente ilimitadas, desde préstamos, bonos, pagos, como así también todo tipo de registración en la que resulta de interés que la misma no pueda ser modificada ni cambiada, por lo tanto, cobra una particular importancia el concepto de "Transparencia" en cualquiera de las aplicaciones que implementen esta tecnología. Surge entonces la necesidad de montar un laboratorio de pruebas que replique el ambiente de simulación que se utiliza para lograr visualizar la ejecución de los escenarios en las distintas transacciones y contratos inteligentes. El resultado final que persigue el proyecto una vez finalizado, es acelerar los tiempos de desarrollo e implementación de cualquier tipo de contrato inteligente, siendo un factor diferenciador el hecho de que esto tiene una directa aplicaciones tanto para organizaciones u organismos públicos como en el sector privado. Descripción: Este proyecto permitirá consolidar al grupo de seguridad informática específicamente acerca de esta nueva tecnología blockchain, adoptando un nuevo modelo de trabajo que le ayudará a interactuar con las áreas de desarrollo de software y de esta manera participar en el proceso de desarrollo de software desde los comienzos del mismo garantizando la calidad en el funcionamiento de cada Nodo y lo más importante garantizando el correcto funcionamiento de él o los contratos inteligentes desplegados en los nodos. Manejar esta tecnología y disponer de un laboratorio en el que se puedan tener los distintos elementos que integran la red posicionará a la Facultad de Ingeniería como pionera en futuros desarrollos sobre Blockchain, más aún si pensamos en desarrollos sobre una Blockchain privada. Los beneficios obtenidos serán percibidos en la configuración de productos y soluciones tanto para el sector privado como público, que requieran mayor transparencia, confiabilidad y seguridad en su operación además de la reducción de costos. Además el equipo de Blockchain obtendrá capacidades tecnológicas que le permitirá definir estrategias adecuadas de nuevos desarrollos y seleccionar las mejores técnicas y herramientas para adaptarse a las diferentes necesidades y aplicaciones con características específicas. Teniendo en cuenta que el manejo de esta tecnología se encuentra en una etapa de absoluta expansión, las posibilidades de transferencia de conocimiento hacia el medio abre una puerta muy importante a la Facultad por la potencialidad de vinculación con organizaciones públicas y privadas. Thu, 21 Feb 2019 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/1902 2019-02-21T00:00:00Z https://rdu.iua.edu.ar/handle/123456789/1779 Título: Importancia de la Verifcación y Validación de software para forensia Autores: Casanovas, Eduardo Resumen: La validación y verificación de software es un proceso esencial para determinar que el software desarrollado satisface plenamente las necesidades de uso. En el marco de un proceso judicial la recolección y almacenamiento de evidencias digitales es una parte sumamente importante en el avance del caso en cuestión, por lo tanto, es crucial que las distintas herramientas de software utilizadas para hacer dichos procesos hagan exactamente las acciones para lo que fueron diseñadas. Es por ello que cabe preguntarnos si estamos plenamente seguros que el software que se desarrolla está acorde a su especificación. El punto fundamental se basa en el hecho que la evidencia digital encontrada debe poder ser tomada para su posterior análisis sin que se altere su estado. La presentación el presente trabajo busca explicitar como podemos lograr que con nuestra intervención el funcionario judicial tenga plana garantía y confianza en las herramientas utilizadas. Sun, 01 Apr 2018 00:00:00 GMT https://rdu.iua.edu.ar/handle/123456789/1779 2018-04-01T00:00:00Z