Libros (Lenguajes y Sistemas Informáticos)
URI permanente para esta colecciónhttps://hdl.handle.net/11441/25373
Examinar
Envíos recientes
Libro IX Jornadas Nacionales de Investigación en Ciberseguridad(2024-05) Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Reina Quintero, Antonia María; Ceballos Guerrero, Rafael; Varela Vaca, Ángel JesúsLa formación es una de las prioridades para el desarrollo de la ciberseguridad a nivel mundial, teniendo en cuenta el déficit que existe actualmente de profesionales altamente calificados. La conferencia pretende abordar las diferentes variantes de formación y capacitación existentes: cursos, entrenamientos, certificaciones y programas de educación superior de pregrado y posgrado, haciendo énfasis en estos últimos. Se analizarán los retos y las perspectivas futuras que permitirán cubrir la demanda cada vez más creciente de profesionales de la ciberseguridad.Libro Algoritmos y tipos de datos en C(Editorial Universidad de Sevilla, 2023) Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosLos lenguajes de programación tienden a compartir las mismas ideas básicas, dado que unos y otros van tomando prestadas recíprocamente las más novedosas. Aunque existen particularidades, podemos decir que los lenguajes de programación van convergiendo hacia elementos comunes a todos ellos. En este manual, en el que el diseño de tipos ocupa un lugar central, se abordan algoritmos y estructuras de datos en el lenguaje C; en la última sección, se incluyen varios ejemplos diseñados con estas ideas. El material que conforma el texto procede de la experiencia acumulada durante varios años en la enseñanza de la asignatura Análisis de Datos y Algoritmos en la Universidad de Sevilla.Libro Problemas, modelos, grafos y algoritmos(Editorial Universidad de Sevilla, 2023) Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosEste libro está diseñado como material complementario de la asignatura Análisis y Diseño de Datos y Algoritmos, que constituye la continuación natural de Fundamentos de Programación. Para abordar el diseño de algoritmos, es necesario tener asimilados los elementos de la programación en algún lenguaje previo; en este sentido, conocer Java y sus peculiaridades es indispensable para poder asimilar el contenido, en el que se aborda un conjunto de técnicas algorítmicas de uso general: Programación Lineal Entera, Algoritmos Genéticos, Algoritmos A*, Backtracking, Programación Dinámica, entre otras.Libro Análisis y diseño de algoritmos y tipos de datos(Editorial Universidad de Sevilla, 2023) Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosEste libro está orientado a la enseñanza de la asignatura Análisis y Diseño de Datos y Algoritmos, que es la continuación natural de Fundamentos de Programación. Para abordar el diseño de algoritmos, es necesario tener asimilados los elementos de la programación en algún lenguaje previo; en este sentido es importante conocer el lenguaje Java y sus peculiaridades para seguir el contenido, en el que ocupan un lugar central las técnicas para el diseño de algoritmos iterativos, las técnicas de diseño de algoritmos recursivos, su análisis y las transformaciones de un tipo de algoritmo en otros. Junto al diseño de algoritmos también se abordan el diseño de tipos y el uso de tipos diseñados por otros. Al final, se incluyen ejemplos, muchos de ellos resueltos, de diseños de algoritmos y de diseño de tipos de datos. Este manual es el resultado de la experiencia docente acumulada durante varios años en la Universidad de Sevilla.Artículo Metodologías Cualitativas Aplicadas a los Sistemas Socioeconómicos y Razonamiento con Intervalos. Presentación de la Monografía.(Asociación Española para la Inteligencia Artificial, 2000) Toro Bonilla, Miguel; Ortega Ramírez, Juan Antonio; Martínez Gasca, Rafael; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosEsta monografía, y en particular este artículo, nace con la intención, por un lado, de presentar el estado actual de las investigaciones en España sobre la aplicación a los sistemas socioeconómicos de metodologías cualitativas. Por otro lado, realizar una puesta en común entre diversos investigadores españoles de los temas relacionados con la utilización de los intervalos en el razonamiento cualitativo, estudiando su aplicación al control y a la diagnosis de sistemas. Recientemente se han celebrado en Sevilla dos reuniones de carácter nacional sobre investigadores que trabajan en los temas anteriormente comentados. El objetivo de este artículo es presentar de manera general los temas centrales de cada uno de los dos eventos, presentando a su vez de manera resumida algunos de los trabajos que allí se presentaron.Libro Fundamentos de programación: Python(Universidad de Sevilla, 2022) Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TIC-134: Sistemas InformáticosLibro Fundamentos de programación: Java(Universidad de Sevilla, 2022) Toro Bonilla, Miguel; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TIC-134: Sistemas InformáticosInforme Propuesta de metodología para el desarrollo de sistemas para el tratamiento de bibliotecas digitales: Versión 1 (LSI-2000-02)(2000) Escalona Cuaresma, María José; Mejías Risoto, Manuel; Torres Valderrama, Jesús; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosEl desarrollo de un sistema destinado al tratamiento de bibliotecas digitales es una tarea complicada en la que suelen mezclarse complejos requisitos de almacenamiento debido a la diversidad de formatos de información (texto, imagen, vídeo, audio, etc.) que ha de gestionar, con diversas necesidades funcionales, que van desde las propias necesidades de funcionamiento de la aplicación hasta la implementación de los requisitos de navegación y de interfaz de usuario. El desarrollo de una aplicación que engloba tal cantidad de requisitos debe plantearse como un proceso de ingeniería. Este trabajo trata de hacer patente las necesidades que se han de satisfacer a la hora de desarrollar sistemas software destinados al tratamiento de este tipo de bibliotecas. También se analizan las aportaciones que en este caso pueden hacer las propuestas metodológicas de desarrollo software según la orientación a objetos y las propuestas existentes para el desarrollo de sistemas hipermedia. Por último, se concretan las fases del ciclo de vida de desarrollo de estos sistemas y las actividades a realizar en cada una de ellas.Informe Scripting en Rational Rose (LSI-2000-01) : Versión Borrador(2000) Martín Díaz, Octavio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas InformáticosInforme FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02(2012) Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TIC205: Ingeniería del Software AplicadaSoftware product lines are rapidly gaining importance across different application domains. This software production paradigm focuses on the development of related software products using managed reusable assets instead of building each product from scratch. In the software product line community, feature models are recognized as one of the most used notation to represent variability in a product line and their automated analysis is a thriving research area. In a recent systematic literature review, some of the authors summarized the numerous contributions on the topic in the last 20 years and identified several challenges to be addressed. One of them was the lack of formal definitions of the analysis operations, for which most of the reviewed works only provided informal descriptions, leading to misunderstandings and implementation problems in tool development. To face this challenge, this article presents FLAME, a formal framework for the specification of analysis operations on feature models. Its main advantages lie in its formal semantics—described using the Z specification language—and in its high level of abstraction, which allows the reuse of the framework for the formalization of different feature model dialects or even for different variability notations. Furthermore, in order to assure the quality of the formal framework—and to provide a reference implementation for tool developers—, the Z specification has been animated in Prolog and automatically validated using 18,000 test cases automatically generated using metamorphic testing techniques. The results of the performed tests have helped not only to enhance the framework significantly but also to detect inconsistencies both in the previous informal definitions of the analysis operations and in current analysis tools, thus supporting the need for formal semantics.Informe FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01(2010) Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TIC205: Ingeniería del Software AplicadaA Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs is rapidly gaining importance: new operations of analysis have been proposed, new tools have been developed to support those operations and different logical paradigms and algorithms have been proposed to perform them. Implementing operations is a complex task that easily leads to errors in analysis solutions. In this context, the lack of specific testing mechanisms is becoming a major obstacle hindering the development of tools and affecting their quality and reliability. In this paper, we present FaMa Test Suite, a set of implementation–independent test cases to validate the functionality of FM analysis tools. This is an efficient and handy mechanism to assist in the development of tools, detecting faults and improving their quality. In order to show the effectiveness of our proposal, we evaluated the suite using mutation testing as well as real faults and tools. Our results are promising and directly applicable in the testing of analysis solutions. We intend this paper to be a first step toward the development of a widely accepted test suite to support functional testing in the community of automated analysis of feature models.Informe ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05(2012) Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Universidad de Sevilla. TIC205: Ingeniería del Software AplicadaA feature model defines the valid combinations of features in a domain. The automated extraction of information from feature models is a thriving topic involving numerous analysis operations, techniques and tools. The progress of this discipline is leading to an increasing concern to test and compare the performance of analysis solutions using tough input models that show the behaviour of the tools in extreme situations (e.g. those producing longest execution times or highest memory consumption). Currently, these feature models are generated randomly ignoring the internal aspects of the tools under tests. As a result, these only provide a rough idea of the behaviour of the tools with average problems and are not sufficient to reveal their real strengths and weaknesses. In this technical report, we model the problem of finding computationally– hard feature models as an optimization problem and we solve it using a novel evolutionary algorithm. Given a tool and an analysis operation, our algorithm generates input models of a predefined size maximizing aspects as the execution time or the memory consumption of the tool when performing the operation over the model. This allows users and developers to know the behaviour of tools in pessimistic cases providing a better idea of their real power. Experiments using our evolutionary algorithm on a number of analysis operations and tools have successfully identified input models causing much longer executions times and higher memory consumption than random models of identical or even larger size. Our solution is generic and applicable to a variety of optimization problems on feature models, not only those involving analysis operations. In view of the positive results, we expect this work to be the seed for a new wave of research contributions exploiting the benefit of evolutionary programming in the field of feature modelling.Libro Actas del Taller de Trabajo Zoco’09 / JISBD Integración de Aplicaciones e Información Empresarial XIV Jornadas de Ingeniería del Software y Bases de Datos San Sebastián, 8 de septiembre de 2009(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2009) Álvarez, José L.; Arjona, José L.; Fernández de Viana, Iñaki; Corchuelo Gil, Rafael; Ruiz Cortés, David; Rivero, Carlos; Hernández Salmerón, Inmaculada Concepción; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Educación y Ciencia (MEC). España; Junta de AndalucíaLibro Actas del Taller de Trabajo Zoco’08 / JISBD Integración de Aplicaciones Web : XIII Jornadas de Ingeniería del Software y Bases de Datos Gijón, 7 al 10 de Octubre de 2008(SISTEDES: Ingeniería de Software y las Tecnologías de Desarrollo de Software, 2008) Álvarez, José L.; Arjona, José L.; Corchuelo Gil, Rafael; Ruiz Cortés, David; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Educación y Ciencia (MEC). España; Junta de AndalucíaPonencia A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm(Springer, 2020) Vidal Silva, Cristian; Felfernig, Alexander; Galindo Duarte, José Ángel; Atas, Müslüm; Benavides Cuevas, David Felipe; Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos; Ministerio de Economía y Competitividad (MINECO). España; Ministerio de Economia, Industria y Competitividad (MINECO). EspañaConflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially faulty hardware components or models. In these scenarios, the efficient identification of conflicts is crucial. Junker’s QUICKXPLAIN is a divide-and-conquer based algorithm for the determination of preferred minimal conflicts. Motivated by the increasing size and complexity of knowledge bases, we propose a parallelization of the original algorithm that helps to significantly improve runtime performance especially in complex knowledge bases. In this paper, we introduce a parallelized version of QUICKXPLAIN that is based on the idea of predicting and executing parallel consistency checks needed by QUICKXPLAIN.