Ingeniería de software
Permanent URI for this community
Browse
Browsing Ingeniería de software by Title
Results Per Page
Sort Options
-
ItemA flexible and expressive formalism to specify metamorphic properties for BIG DATA systems validation(Universidad Nacional de La Rioja - EUDELAR, 2023-1) Asteasuain, FernandoBIG DATA systems represent a huge challenge for software engineering validations tasks since they have been classified as "non testable". Metamorphic Relationships (MR) have been proposed as a technique to overcome this problem. These relationships establish interactions between data that can be used to validate the expected behavior of the system. However, the process of exploring and defining MRs is a very arduous one, and an expressive and flexible specification language is needed to denote them. In this work we show how the Feather Weight Visual Scenarios (FVS) framework can be seen as an appealing tool to specify MRs. We exploit FVS features to model complex MR interactions and analysis, allowing the possibility to perform non trivial operations between MRs such as refinement and consistency checking. FVS is shown in action by introducing a proof of concept example focused on a machine learning system over biology cell images.
-
ItemA parallel tableau algorithm for BIG DATA verification(Universidad Nacional de La Matanza, 2020-10) Asteasuain, Fernando ; Rodríguez Caldeira, LucianaBIG DATA systems are becoming more and more present in our everyday life generating data and information that needs to be explored and analyzed. In this sense, formal verification tools and techniques must provide solutions to face with these new challenges since they been pointed out as one of the most needed software engineering activities to consolidate BIG DATA modern systems. In this work we present a parallel implementation of a tableau algorithm aiming to improve the performance of our formal verication scheme. The pursued objective behind this transformation is to adapt our framework to deal with BIG DATA systems.
-
ItemAn expressive and enriched specification language to synthezise behavior in BIG DATA systems(Universidad Nacional de Salta, 2021) Asteasuain, Fernando ; Rodríguez Caldeira, LucianaIn this work we extend our behavioral speci_cation and controller synthesis framework FVS to deal with BIG DATA requirements. For one side, we enriched FVS expressive power by exhibiting how our language can handle uents and partial speci_cations. For the other side, we combined FVS with a parallel model checker in order to automatically obtain a controller given the behavior speci_cation. In this way, FVS can be presented as an attractive tool to formally verify and synthesize behavior for BIG DATA systems. Our approach is compared to other well known parallel tool analyzing a complex big data system.
-
ItemAnálisis de la apertura de datos gubernamentales en los portales provinciales de la República Argentina : aplicación HEVDA(Universidad Tecnológica Nacional, 2021-11) Martínez, María Roxana ; Parkinson, Christian AníbalEl concepto de gobierno abierto cada vez se encuentra más en auge a nivel internacional en los distintos gobiernos. Actualmente, este nuevo paradigma presenta un mayor involucramiento por parte de los ciudadanos en aspectos de transparencia, acceso a la información pública, participación ciudadana y datos abiertos. Este trabajo presenta un relevamiento de los portales gubernamentales oficiales de todas las provincias de la República Argentina (23 provincias). Para ello se analizó cada uno de sus sitios web oficiales teniendo en cuenta la cantidad de Datasets disponibilizados, sus categorías y enfoque de concientización en cuestiones de Gobierno Abierto para sus ciudadanos provinciales. Una vez relevado se llevó a cabo un estudio de los distintos datasets a través de una herramienta de desarrollo propio llamada HEVDA (Herramienta de Validación de Datos Abiertos), con la que se verificó si existen bloqueantes y en caso afirmativo, de qué tipo son. Básicamente, el concepto de “bloqueante” se deriva de comprender si los conjuntos de datos disponibilizados son abiertos a la lectura y análisis de su contenido o bien no cumplen con un nivel básico de apertura. Finalmente se presentan los resultados llevando a cabo una comparativa de tipos de bloqueantes, como ser, análisis del Tipo de archivo, Delimitador, Validación de Títulos, Validación de Campos repetidos en el Título, Validación de estructura de columnas y Validación en aspectos de separación entre el contenido de cada campo.
-
ItemAnálisis de nuevos estándares para la web móvil(Universidad Nacional del Nordeste. Facultad de Ciencias Exactas, 2018) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Martínez, María Roxana ; Parra Beltrán, Fernando AdolfoDado el auge de los dispositivos móviles y lo frecuentemente que resulta que los usuarios utilicen los mismos para acceder a contenidos y servicios web, resulta necesario implementar nuevas tecnologías estandarizadas por el W3C (Consorcio Web a Nivel Internacional), que no son tan populares o bien tienen aún baja implementación en los browsers. En la presente línea de investigación y desarrollo se analizan los nuevos estándares para la web móvil y la posible implementación de los mismos.
-
ItemAnálisis del diseño adaptativo en sitios web gubernamentales(Universidad Nacional del Centro de la Provincia de Buenos Aires, 2018-10) Martínez, María Roxana ; Rodríguez, Rocío Andrea ; Vera, Pablo MartínHoy en día, los sitios web gubernamentales son de gran importancia para un mejor acercamiento entre las entidades gubernamentales y las personas. Por otra parte, en el sector público, cada vez son más las entidades estatales que apuestan al desarrollo tecnológico para mejorar la comunicación entre el Estado Nacional Argentino y los ciudadanos. La tecnología puesta al servicio del ciudadano conlleva a la implementación y mejora continua del Gobierno Electrónico, posibilitando servicios virtuales que se encuentren al alcance de las personas mediante los distintos sitios web, y por otra parte, el acceso a una fuente de información pública más precisa y actualizada. Con la alta inserción de los dispositivos móviles, el diseño adaptativo se torna fundamental al construir un sitio web. Este artículo considera casos de estudio en donde se analiza el diseño web adaptativo, detectándose problemas que dificultan al usuario la utilización y correcta visualización, de los sitios web gubernamentales. Consideramos que este estudio puede ser replicado por otros colegas a fin de validar otros sitios web gubernamentales para evaluar su estado general.
-
ItemAnálisis del Diseño Web Adaptativo : caso de estudio universidades argentinas(Universidad Abierta Interamericana. Facultad de Tecnología Informática, 2020) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Alderete, Claudia Gabriela ; Ramírez, Martín Ariel ; Dogliotti, Mariano Gastón ; Conca, Anabella Graciela ; Acevedo Zain, GasparLos dispositivos móviles se están convirtiendo en la primera fuente de acceso a la web debido a su practicidad y disponibilidad. Es por ello que es importante disponer de sitios web que se puedan visualizar de forma correcta sin importar el dispositivo de acceso, siendo el diseño adaptativo la prin¬cipal tendencia actual de diseño. Este trabajo analiza los sitios web de las universidades argentinas haciendo foco en la utilización del diseño adaptativo y comparando sus principales características.
-
ItemAnálisis del procedimiento para la solicitud de información pública y tiempos de respuesta. Caso de estudio : Ciudad Autónoma de Buenos Aires (Argentina)(Sociedad Argentina de Informática, SADIO, 2020-10) Martínez, María Roxana ; Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Parkinson, Christian AníbalContar con datos abiertos que sean de calidad y permitan al ciudadano consultar información, poder tomar decisiones ó incluso poder incorporarlos a he-rramientas propias para poder utilizarlos, permitirá un rol más activo del ciuda-dano dándole transparencia a la gestión del organismo público. Para abordar el tema, se introduce en el artículo la diferencia entre datos públicos y abiertos, así como al marco regulatorio en Argentina. Se analiza un caso de estudio sobre el sistema de solicitud de información pública que actualmente tiene disponible desde la web el gobierno de la ciudad autónoma de Buenos Aires, con la finalidad de proponer mejoras al mismo. El funcionamiento de este sistema se puede eva-luar por un lado considerando los datos requeridos y por otra parte analizando el porcentaje de solicitudes que fuera del plazo establecido por el organismo son atendidas o incluso quedan sin atenderse. Este análisis puede hacerse dado que se dispone de un dataset en el que quedan registradas las solicitudes de información (entre los años 2013 y 2019).
-
ItemAnálisis e implementación de ciudades inteligentes(FUSMA Ediciones, 2022) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Alderete, Claudia Gabriela ; Dogliotti, MarianoEn la actualidad la tecnología es parte de la vida cotidiana de las personas tanto para trabajo, comunicaciones, esparcimiento; las empresas invierten y desarrollan servicios tecnológicos que les facilitan la vida a las personas mientras consumen sus productos y servicios. Hoy en día es común tener aplicaciones en el smartphone para pedir un vehículo para traslado, solicitar comida a domicilio y un sinfín de otras cosas. Los gobiernos no pueden escapar a esta tendencia y deben actualizarse, hacer uso de la tecnología existente, diseñar recursos y servicios para facilitar las gestiones de sus ciudadanos a la vez que brinda mayor transparencia a sus acciones. Es por eso que surge el concepto de ciudades inteligentes o Smart Cities donde la tecnología se hace presente. Este proyecto de investigación se basa en el estudio de las Smart Cities (sus bases, fundamentos, grado de implementación) con el objetivo de realizar propuestas para facilitar y mejorar la implementación de estas.
-
ItemAplicaciones Web Progresivas enfocadas en el uso y optimización de cache(Universidad Nacional de la Patagonia Austral, 2020-6) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Martínez, María Roxana ; Alderete, Claudia Gabriela ; Dogliotti, Mariano GastónLa gran inserción de dispositivos móvilespone en foco el análisis de las soluciones diseñadas para los mismos. Los usuarios móviles descargan gran cantidad de aplicaciones y de hecho la tendencia indica que prefieren las aplicaciones móviles por sobre los sitios web móviles, este efecto se irá reduciendo con el desarrollo de PWA (Aplicaciones Web Progresivas). Las PWA permiten tener un ícono de acceso, poder trabajar offlineutilizando información almacenada internamente en el dispositivo, pueden ofrecer notificaciones; una PWA bien desarrollada dará el mismo aspecto que una aplicación móvil instalada en el dispositivo. La ventaja de las PWAs es que si se optimizan bien los esquemas de cache, permitirá disminuir el consumo de datos. Sobre este tema de optimización y esquemas de uso de cache se centra el presente proyecto.
-
ItemAplicaciones web progresivas impulsadas por el avance de los estándares web(Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales, 2019) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Martínez, María Roxana ; Parra Beltrán, Fernando Adolfo ; Trigueros, Artemisa ; Dogliotti, MarianoLa tecnología móvil ocupa un papel primordial en la vida de las personas hasta el punto por el cual en la actualidad el teléfono móvil combinado con internet es el principal medio por el cual se accede a la información. La mejora permanente en el hardware de los Smartphone permite disponer de equipos cada vez más poderosos que incluyen una gran cantidad de sensores (como ser GPS, de luz, ritmo cardiaco, de temperatura, presión atmosférica, etc). Estos sensores permiten a las personas interactuar con el medio. El propósito de esta línea de investigación, es el análisis de los nuevos estándares que permiten a las aplicaciones web hacer uso del hardware, esto impulsa a la construcción de aplicaciones web, ganando en portabilidad en comparación con el desarrollo nativo. Pero es importante que el usuario no sienta que ha perdido ningún elemento o atractivo que podía tener en una aplicación nativa, por ejemplo contar con un icono para abrir la aplicación, recibir notificaciones, etc. Estas características se pueden incorporar en las aplicaciones web utilizando el enfoque PWA (Aplicaciones Web Progresivas), uno de los principales puntos de estudio de este artículo.
-
ItemAprovechamiento de las características de las Aplicaciones Web Progresivas en las redes sociales(Universidad Nacional de Salta, 2021) Rodríguez, Rocío Andrea ; Vera, Pablo Martín ; Alderete, Claudia Gabriela ; Dogliotti, Mariano GastónGran parte de la población mundial ha encontrado en las redes sociales un lugar para comunicarse y difundir sus pensamientos e ideas. El acceso a las redes sociales se produce mayormente desde dispositivos móviles, los cuales poseen distintas características, sistemas operativos y capacidades. El acceso debe ser asegurado desde distintos dispositivos móviles así como desde computadoras. El desarrollar una aplicación particular para cada sistema operativo (considerando distintos versionados) y contemplando las diversas características de los mismos, resulta cada vez más complejo. Las PWA (aplicaciones web progresivas) permiten simplificar y unificar el desarrollo, con la portabilidad propia de la web, agregregando características propias de las aplicaciones nativas, donde para el usuario final es indistinto si se trata de una aplicación PWA ó nativa. Este trabajo presenta un relevamiento de las princiaples redes sociales, analizando cuales de ellas están construidas mediante el principio de PWA y además analiza ciertas características para detectar si realmente están bien configuradas y cumplen con los lineamientos básicos y buenas prácticas de las PWA.
-
ItemArquitectura para sustentar la integración de conocimiento externo heterogéneo en un motor de reglas(Studies Publicações, 2022-6) Maciel, Marcos Antonio ; Pons, Claudia FabianaEn un contexto de negocios globalizado donde la completitud de la información se obtiene al componer varias partes, resolver problemas se convierte en una tarea que involucra tiempo, análisis y experiencia. Una organización ve limitado su ámbito de acción porque necesita información de terceros para evaluar en forma íntegra y completa una colección de datos. Para superar estos problemas se propone implementar un motor de reglas capaz de interactuar mediante reglas con servicios usando Json como mensajería de intercambio de datos. El modelo propuesto mejora la capacidad de conocimiento al compartir información entre sistemas heterogéneos usando los estándares de la comunidad para resolver problemas complejos.
-
ItemArtificial Intelligence techniques based on the integration of symbolic logic and deep neural networks : a systematic review of the literature(Iberoamerican Society of Artificial Intelligence (IBERAMIA), 2022-6) Negro, Pablo Ariel ; Pons, Claudia FabianaArtificial Intelligence is tackled from two predominant but very different approaches: symbolic Artificial Intelligence, which is inspired by mathematical logic and is based on the manipulation of abstract linguistic representations, and non-symbolic Artificial Intelligence, which focuses on the construction of predictive mathematical models from large sample data sets. Significantly, the shortcomings of each of these approaches align with the strengths of the other, suggesting that an integration between them would be beneficial. A successful synthesis of symbolic and non-symbolic artificial intelligence would give us the advantages of both worlds. This work aims to identify and classify solutions and architectures that use applied Artificial Intelligence techniques, based on the integration of symbolic and non-symbolic logic (particularly machine learning with artificial neural networks), to provide a comprehensive, exhaustive and organized vision of the solutions available in the literature, making them the subject of a carefully designed and implemented SLR (Systematic Literature Review). The resulting technologies are discussed and evaluated from both perspectives: symbolic and non-symbolic Artificial Intelligence. The PICOC method (Population, Intervention, Comparison, Outputs, Context) plus Limits, which determine the scope of the search, has been used to define the research questions and analyze the results. From a total of 65 candidate studies found, 24 articles (37%) relevant to this study were selected. Each study also focuses on different application domains such as intelligent agents, image classification, theorem provers, cyber-security, image interpretation, mathematics, medicine, robotics and general application. Through the analysis of the selected works, it was possible to classify, organize and explain the different ways in which the deficiencies of non-symbolic Artificial Intelligence are addressed by proposals based on symbolic logic. The study also determined in which stages of the development process said proposals are applied. In addition, the study made it possible to determine which are the logic tools that are preferably applied, for each area and each domain. Although no clear architectural pattern has been found, efforts to find a general-purpose model that combines both worlds are driving trends and research efforts.
-
ItemBayesian inversion approach for ECG denoising(Asociación Argentina de Matemática Aplicada, Computacional e Industrial (ASAMACI), 2019) Bergamini, Maria Lorena ; Liberczuk, Sergio JavierStochastic or Bayesian filtering is an inverse problem in the sense that from given noisy observations we want to estimate hidden state variables knowing models for states evolution and measurement noises. In the present work we propose a Particle Filter method for denoising ECG signals based on Monte Carlo filter techniques estimating the state (filtered signal value) from noisy observations simulated with different SNRs. We use Mc Sharry dynamical model whose solution trajectories reproduce realistic ECG waves. The improvement in the denoised signal is higher when the SNR in the input signal is lower. Particle Filter method allows any noise distribution to be considered. This property is very interesting for physiological signal processing, where the noise is often complex and non Gaussian.
-
ItemBlockGuitars : una herramienta para las transacciones de instrumentos musicales mediante blockchain(Sociedad Argentina de Informática, SADIO, 2020-10) Pons, Claudia Fabiana ; Castelli Lluch, Damián ; Tallarico, AníbalBlockchain y smart contracts son novedosas tecnologías que permiten registrar de forma eficaz y segura transacciones de elementos virtuales, como criptomonedas. Pero también se pueden aplicar a otros ámbitos. En este artículo se describe la construcción de un sistema de registro de instrumentos musicales aplicando estas nuevas tecnologías. El aporte, en primer lugar, es poner a disposición de los músicos una herramienta segura y distribuida que les ofrecerá una alternativa para enfrentar los frecuentes hurtos de estos elementos. Por otra parte, la descripción de la metodología seguida para el desarrollo del sistema, así como las decisiones de diseño adoptadas, la base tecnológica seleccionada y el análisis legal realizado, son recursos de utilidad para los desarrolladores que inicien la construcción de un sistema similar en otro dominio.
-
ItemCertifying CMMI-DEV in the Context of Model-Driven Software Engineering(ASQ, 2018-9) Pons, Claudia Fabiana ; Esterkin, VivianaModel-driven software engineering (MDE) is being positioned as an alternative to conventional methods of software production. Given that MDE is an emerging paradigm, standards for measuring its quality have not yet been established. This article analyzes MDE good practices and how they relate to CMMI-DEV 1.3 Level 2. MDE best practices were assessed to determine whether they support each CMMI Level 2 specific practice in seven of the 22 process areas: configuration management, supplier agreement management, requirement management, process and product quality assurance, measurement and analysis, project monitoring and control, and project planning. An expert panel of five software engineering professionals offered consulting services to provide an initial evaluation of the results. For each process area, the percentage of practices supported by MDE was determined and recommendations to enhance MDE support were identified. Although further research is needed, this suggests that an organization that uses MDE can certify at CMMI-DEV 1.3 Level 2.
-
ItemCiberseguridad en los sistemas de control industrial : clave para la ciberdefensa de las infraestructuras críticas(Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales, 2019) Kamlofsky, Jorge Alejandro ; Abdel, Masih Samira ; Colombo, Hugo Roberto ; Milio, Roberto Claudio ; Hecht, PedroLa automatización de los procesos industriales se realiza mediante los sistemas de control industrial. Con lógica determinista, se diseñaron para funcionar con alta disponibilidad. Por ser robustos y efectivos, se los utiliza para la automatización de los procesos de las infraestructuras críticas: plantas de generación y distribución de energía, potabilizadoras de agua, sistemas de semaforización, entre otros. Tradicionalmente su seguridad se basó en el aislamiento físico y en las enormes diferencias tecnológicas con los sistemas informáticos. Su interconexión con las redes administrativas y con Internet brindó mayor flexibilidad y eficiencia, pero quedaron expuestos a una gran cantidad de vulnerabilidades y amenazas. En este proyecto se estudian las vulnerabilidades de estos sistemas y se proponen soluciones basadas en mejoras de procesos, comunicaciones y criptografia e inteligencia artificial.
-
ItemCiência e tecnologia para o desenvolvimento ambiental, cultural e socioeconômico III(Artemis, 2023) Somoza Medina, XoséLa ciencia y la tecnología en el siglo XXI deben orientar sus esfuerzos a ofrecer soluciones a los grandes problemas presentes de la humanidad y de nuestro planeta. Las Naciones Unidas iniciaron el camino en el año 2000 con los Objetivos del Milenio, reformulados y ampliados en 2015 con los ahora denominados Objetivos de Desarrollo Sostenible, ODS. Mas allá de una simple declaración, los ODS deberían convertirse en el faro guía de todo avance científico o técnico. Lo ideal sería que cada persona científica o tecnóloga, independientemente de su origen o vinculación profesional, pensara en la fase de diseño de la investigación cuál de los ODS contribuye a alcanzar la consecución de su proyecto, para de esta manera orientar los esfuerzos de millones de seres humanos en todo el mundo a resolver el futuro de las próximas generaciones y no al contrario, que el progreso de nuestra civilización suponga una amenaza real para la Tierra, como parece que hemos estado haciendo hasta ahora. Todavía estamos a tiempo de cambiar nuestro destino, pero debemos tomar conciencia y actuar en consecuencia. En el primer bloque, Ciencia, se agrupan siete trabajos que desde las ciencias de la educación y las ciencias económicas y empresariales contribuyen a alcanzar esos objetivos enunciados, bien a través de encuestas a una muestra de estudiantes de diferentes carreras universitarias o bien a través del análisis local de casos concretos. Así se pueden desarrollar temas como la responsabilidad social, la incertidumbre de las políticas monetarias, la importancia de las microempresas en contextos determinados, las redes sociales, la internacionalización del sector turístico, la sostenibilidad en las empresas o la ansiedad provocada por la pandemia. En el segundo bloque, Tecnología, se agrupan siete investigaciones con aportes como los avances en teledetección de incendios, los tratamientos con bacterias para eliminar los residuos de aceites, la evaluación de antioxidantes en el desarrollo “in vitro” de plantas de caña de azúcar, los análisis informáticos para la predicción de plagas en los cultivos, las técnicas kinésicas para el tratamiento de la incontinencia urinaria femenina, la inteligencia aumentada de usuario o el estudio de un megaproyecto urbanístico como el de Saemangeum en Corea del Sur.
-
ItemComputación en la nube: fundamentos, críticas y desafíos(Universidad Abierta Interamericana. Facultad de Tecnología Informática, 2022-12) Kamlofsky, Jorge AlejandroCluod Computing o Computación en la Nube es un término amplio que describe un gran abanico servicios tecnológicos. Para entender realmente cómo la nube puede ser valiosa para una organización, es importante entender qué es realmente la nube y cuáles son sus diferentes componentes. Dado que la nube es un amplio conjunto de servicios, las organizaciones pueden elegir dónde, cuándo y cómo utilizar la computación en la nube. En este trabajo se explican los diferentes tipos de servicios de computación en la nube denominados SaaS (Software as a Service), PaaS (Platform as a Service) e IaaS (Infrastructure as a Service) englobados bajo el concepto de “La Pila de Servicios en la Nube” y se presentan ejemplos de casos de estudio. Se describen los modelos de despliegue e implementación de diferentes tipos de nube, algunas implementaciones para tecnologías disruptivas (Machine Learning, IOT, robótica ubicua, Blockchain). Se presentan también, inconvenientes, posturas críticas y desafíos relacionadas con este concepto.