Ingeniería de software

Permanent URI for this community

https://repositorio.uai.edu.ar/handle/123456789/289

Browse

Browsing Ingeniería de software by Issue Date

Jump to a point in the index:
  • Item
    Interfaces tangibles : una nueva forma de interactuar con los smartphones
    (Universidad Nacional del Nordeste. Facultad de Ciencias Exactas, 2018) Vera, Pablo Martín ; Rodríguez, Rocío Andrea ; Martínez, María Roxana
    Las interfases de usuario tangibles (TUI) proponen una forma más natural de manejar un dispositivo. Este trabajo se enfoca en proponer nuevas formas de interacción con los smartphones aprovechando para eso todo el hardware que los mismos tienen disponible. Con hardware no se hace referencia únicamente a la memoria interna, capacidad de almacenaje… sino a un conjunto de sensores y componentes que los mismos tienen. Estos sensores y componentes permitirán enriquecer las aplicaciones e incluso la interfaz de usuario. Si bien es cierto que esto puede favorecer a personas con discapacidades e incluso a quienes no son nativos digitales y no tienen afianzado el manejo de la tecnología, consideramos que el uso de TUI facilita las tareas y el tiempo de ejecución de las mismas lo cual es placentero para todo tipo de usuario que tenga poco tiempo y necesidad de concretar una determinada acción con su teléfono móvil.
  • Item
    Aná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 Adolfo
    Dado 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.
  • Item
    Propuesta de metodología para el proceso de gobierno electrónico utilizando servicios computacionales
    (Universidad Autónoma de Yucatán. Facultad de Matemáticas, 2018) Pons, Claudia Fabiana ; Rodríguez, Rocío Andrea ; Castro, Marcelo
    El objetivo del presente trabajo es presentar una propuesta sobre la metodología para sistematizar y estandarizar los procesos que posibilitan efectivizar Gobierno Electrónico en la gestión pública, a través de servicios computacionales (SCGE). Para lo cual se deberán considerar distintos aspectos tales como software, hardware y comunicaciones, el análisis de estos componentes permitirá generar un modelo integral basado en SCGE. El artículo contiene una breve introducción al concepto de servicios computacionales en el ámbito de gobierno electrónico y una descripción de sus componentes. Posteriormente se presenta un ejemplo sobre un servicio específico y finalmente se describe la metodología método SCGE.
  • Item
    Aná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ín
    Hoy 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.
  • Item
    Improving model-driven software testing by using formal languages
    (Universidad Tecnológica Nacional. Facultad Regional Concepción del Uruguay, 2018-10) Pons, Claudia Fabiana ; Rosenfeld, Ilan ; Baum, Gabriel
    Model-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.
  • Item
    Exploring specification pattern based behavioral synthesis with scenario clauses
    (Universidad Nacional del Centro de la Provincia de Buenos Aires, 2018-10) Asteasuain, Fernando ; Calonge, Federico ; Dubinsky, Manuel
    The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
  • Item
    Expressing early behavior specifications with branching visual scenarios
    (Edutecne, 2018-11) Asteasuain, Fernando ; Gamboa, Pablo Daniel ; Calonge, Federico ; D’Angiolo, Federico ; Díaz, Federico
    Branching logics enable the software engineer to express interesting type of properties and feature more efficient algorithms for model checking than linear logics. In this work we present an extension of the FVS language (based on a linear representation of systems' execution) in order to contemplate branching properties. The formal semantics of this extension, named Branching FVS, is also introduced in this work. As a case of study we model the behavior of a FLASH memory test chip, a classical hardware verification example. This is a particular domain where branching logics are heavily used to specify the expected behavior of systems.
  • Item
    Mobile follow-up system for elderly and disabled people
    (IEEE, 2018-11) Vera, Pablo Martín ; Kaimakamian Carrau, Mariano ; Rodríguez, Rocío Andrea
    This paper focuses on elderly and disabled people who live alone and run certain risks, such as frequently falling, entering dangerous places within the house (the second floor, the attic, the basement) or being unable to handle certain problems. Each person has particular needs which must be considered. It is even necessary to foresee that they may not face difficulties only in their houses, but also when they go shopping or for a walk. In such occasions, they may lose their sense of direction. Mobile technologies can provide solutions to these problems, generating a non-invasive control system which may be monitored by family members and friends. Using an app with such characteristics helps the person feel free and safe at the same time. This paper presents a mobile app prototype for planned care and follow-up of elderly or disabled people. The app uses the sensors in devices such as GPSs, accelerometers, barometers, etc, and enables a noninvasive control and follow-up system. The Android developed app can be easily installed on a wide variety of devices, and facilitate its portability towards android based wearable platforms such us Wear OS and Android Wear. This makes the use of this app more transparent, safer, and less invasive.
  • Item
    Model based feature extraction method for myocardial infarction detection
    (Asociación Argentina de Mecánica Computacional, 2018-11) Liberczuk, Sergio Javier ; Bergamini, María Lorena
    The electrical activity of the heart represented by the electrocardiogram (ECG) has been widely used for the detection of heart diseases. Long-term records require the automatic detection of cardiac events. In this work, the detection of myocardial infarction (MI) is performed by means of novel ECG features based on a synthesis ECG model previously described in the literature. The model consists of a sum of five Gaussians centered on each wave of the ECG (P, Q, R, S and T). Each Gaussian is fully specified by three parameters; location in time, amplitude and broadness. By fitting this set of Gaussians, and performing numerical and nonlinear optimization procedures in the resulting 15-dimensional space, we get this set of 15 parameters as features for classification. Although the model was widely used previously with different purposes, its parameters had never been used as features for heartbeat classification even though they reflect the morphology of the ECG in an accurate manner. Physikalisch-Technische-Bundesanstalt (PTB) database was used to validate training and testing algorithms. Data was obtained from 48 healthy subjects (HS) and 95 patients with MI and was split into two datasets. The first dataset contains 190 beats from 26 HS, and 140 beats from 60 patients with MI and was used to train a support vector machine (SVM) classifier with linear kernel. The second dataset contains 88 beats from 22 HS, and 70 beats from 35 subjects with MI and was used to provide a detection performance assessment of the previously trained SVM. This assessment yielded an overall accuracy above 93%. The results show the feasibility of performing the separation between infarcted beats and physiological beats based on the new model-based features proposed. The simplicity of the linear kernel used in the SVM classifier shows the power of the proposed features for classification tasks.
  • Item
    Facilitando el análisis formal de código Java especificado con UML+OCL
    (Edutecne, 2018-11) Pons, Claudia Fabiana ; Actis, Carolina ; Baum, Gabriel
    El lenguaje UML es ampliamente aceptado como el lenguaje estándar de modelado en la industria. El lenguaje OCL es una parte integral de UML, y fue introducido para definir restricciones adicionales que no se pueden expresar en este. Las expresiones OCL son concisas y precisas, y no presentan las ambigüedades del lenguaje natural. Sin embargo, al ser una notación de diseño, OCL no es ejecutable; está definido sobre el modelo, por lo que sus restricciones no se reflejan en el código fuente. Por otro lado, JML es un lenguaje de especificación formal que puede ser utilizado para especificar clases Java. A diferencia de OCL, las expresiones JML están escritas de forma que pueden ser compiladas y analizadas en tiempo de ejecución. En este trabajo se propone transformar de forma automática las restricciones OCL a especificaciones escritas en el lenguaje JML. De esta forma las restricciones especificadas en el modelo son verificadas de manera ágil y simple en tiempo de ejecución, y también se habilita el análisis estático de éstas mediante el uso de probadores de teoremas implementados para JML.
  • Item
    Programming as learning resource in middle school
    (Faculdade Três de Maio (SETREM), 2018-11-18) Pons, Claudia Fabiana ; Salvador, Ricardo Pablo ; Rodríguez, Guillermo
    In this work we study the influence, in the kinematics learning of secondary students, of the construction of a simulation using the SqueakEtoys graphical programming environment, as learning resource in a Rosario (Argentine) city preuniversity middle school. The pupils are almost 16 years old and do not have knowledge about programming. Using an habitual curricular exercise the experience took about 3 classes. The results indicate an increase in students' grades and interest in programming as a didactic resource, which encourages designing similar activities and exploring this resource in other disciplines.
  • Item
    Semi-autonomous robot control system with an improved 3D vision scheme for search and rescue missions : a joint research collaboration between South Africa and Argentina
    (ASTES, 2018-12-1) Kamlofsky, Jorge Alejandro ; Bergamini, María Lorena ; Naidoo, Nicol ; Bright, Glen ; Zelasco, José ; Ansaldo, Francisco ; Stopforth, Riaan
    Rescue operations require technology to assist the rescue process. The robotic technology in these missions is becoming very important. The important aspects investigated in this study are the integration of a mechatronic system that will allow for a robotic platform with a vision system. The research collaboration between Argentina and South Africa is discussed, with the correlating research areas that each country investigated. The study permitted the development and advancement of a search and rescue system for different robots (wayfarer and drones) with different vision capabilities. A novel and innovative vision approach is presented.
  • Item
    FSAL : Lexicón financiero de sentimiento en español rioplatense diseñado para "Bolsas y Mercados Argentinos" (BYMA)
    (Universidad Abierta Interamericana. Facultad de Tecnología Informática, 2018-5-29) Braña, Juan Pablo ; Fernández, Alejandro ; Litterio, Alejandra M. J.
    En la última década, se ha estudiado cómo el Análisis de Sentimiento basado en lexicones en combinación con técnicas de Machine Learning puede ser utilizado para optimizar estrategias de Trading Algorítmico. El presente trabajo tiene como objetivo mostrar que un lexicón de dominio específico en finanzas (FSAL) diseñado para Bolsas y Mercados Argentinos obtiene mejores resultados que un lexicón de propósitos generales (SDAL). Primero, proponemos un lexicón a medida en finanzas. Segundo, mostramos que nuestro lexicón supera los resultados obtenidos en comparación a los resultados de un lexicón de propósitos generales aplicado sobre un corpus compuesto por tweets de cuentas de comunidades de confianza de los mercados argentinos, previamente clasificado de manera colaborativa por expertos en finanzas. Luego, realizamos un estudio comparado de los lexicones aplicando diferentes técnicas de Machine Learning. Final¬mente, presentamos algunos resultados preliminares y conclusiones.
  • Item
    Certifying CMMI-DEV in the Context of Model-Driven Software Engineering
    (ASQ, 2018-9) Pons, Claudia Fabiana ; Esterkin, Viviana
    Model-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.
  • Item
    Ciberseguridad 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, Pedro
    La 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.
  • Item
    Aplicaciones 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, Mariano
    La 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.
  • Item
    Identificación de biomarcardores con poder pronóstico en cáncer : una perspectiva desde la ciencia de datos biomédicos y la bioinformática
    (Universidad Abierta Interamericana. Facultad de Tecnología Informática, 2019) Nastasi, David Alejandro ; Lichowski, Juan Martín ; Butti, Matías Daniel ; Menazzi, Sebastián ; Chanfreau, Hernán ; Martínez, Diego ; Camele, Genaro
    En el estudio del cáncer, los perfiles de expresión génica tienen gran relevancia dado que permiten conocer la actividad de genes de interés en el tejido en análisis. El avance biotecnológico y la dismi¬nución de costos de secuenciación han permitido producir grandes volúmenes de datos moleculares incluidos los perfiles de expresión génica, que pueden ser analizados junto con los datos de super¬vivencia (recidiva de un tumor u óbito) para obtener información valiosa sobre el pronóstico del paciente. El objetivo es identificar perfiles de expresión que muestren asociación con características clínicamente accionables, como respuesta a un tratamiento o capacidad de recidiva del tumor. El análisis de estos grandes volúmenes de datos biomédicos requiere de conocimiento computa¬cional, bioinformático y bioestadístico. La plataforma Bioplat permite democratizar estos análisis y es especialmente útil para equipos que tienen la experiencia biológica pero no la computacional/ bioestadística. Además integra múltiples fuentes de datasets, permite incorporar datos propios y provee una base de datos curada. Ofrece puntos de extensión para que científicos de la computación puedan incorporar fácilmente nuevos algoritmos, herramientas o técnicas de machine learning.
  • Item
    Ingeniería de software dirigida por modelos aplicada a sistemas robóticos usando los estándares de la OMG
    (Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales, 2019) Pons, Claudia Fabiana ; Giandini, Roxana Silvia ; Neil, Carlos Gerardo ; De Vincenzi Zemborain, Marcelo Edgardo ; Pérez, Gabriela
    El Desarrollo de software Dirigido por Modelos (MDD, Model Driven software Development) aparece como una alternativa viable para aplicar técnicas de ingeniería de software en el desarrollo de sistemas robóticos. Su uso logra un nivel de abstracción superior, permitiendo utilizar los estándares propuestos para robótica, y así obtener ventajas como generalidad, reutilización, claridad, expresividad. Estas son todas cualidades inherentes a un proceso de creación de software eficiente y eficaz. ?? objetivo general de esta investigación es contribuir al mejoramiento de los procesos de desarrollo de software de los sistemas robóticos, a través del análisis del paradigma de desarrollo MDD aplicando los estándares definidos por la OMG.
  • Item
    Bayesian inversion approach for ECG denoising
    (Asociación Argentina de Matemática Aplicada, Computacional e Industrial (ASAMACI), 2019) Bergamini, Maria Lorena ; Liberczuk, Sergio Javier
    Stochastic 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.
  • Item
    Improving model-driven software testing by using formal languages
    (Brazilian Journals Publicações de Periódicos e Editora Ltda., 2019-3-1) Pons, Claudia Fabiana ; Rosenfeld, Ilan ; Baum, Gabriel
    Model-Driven Testing or MDT is a new and promising approach for software testing automation that can significantly reduce the efforts in the testing cycle of a software development. It consists in a black box test that uses structural and behavioral models to automate the tests generation process. In this paper, we describe a tool that allows developers to translate a software model written in UML with OCL formal constraints to its corresponding Java code, automating the generation of strong test-cases codes and specifying them not only in Java language but also in two formal languages, which are OCL and Alloy. This tool provides more reliable support by amalgamating different techniques, which strengthens the testing process.