Buscador de escritorio multimedia CIII Desktop Search

La motivación para crear un nuevo buscador local, surge debido a las mejoras que se pueden aplicar a los buscadores existentes en el mercado. Dichas mejoras hacen referencia al tiempo empleado en crear los índices, al tamaño de los mismos, a las opciones de búsqueda proporcionadas al usuario, también se considera apropiado cambiar el enfoque asumido por los demás buscadores, de esta manera no sólo se concentra la atención en ser una herramienta de búsqueda, si no también proporcionar funcionalidad para convertirla en herramienta habitual en la ejecución de archivos. Para concretar el alcance del programa, a continuación se detalla los objetivos que tiene que cumplir el nuevo buscador. - Implementar un programa que permita al usuario realizar búsquedas sobre la información almacenada localmente en el ordenador personal. - Los resultados de la búsqueda se tienen que presentar al usuario de forma inmediata. Para ello el programa tendrá que crear un sistema de índices con la información obtenida de los archivos del disco duro. Dichos índices deben ocupar el menor tamaño posible y deben crearse también en el menor tiempo posible. - Se podrá elegir qué rutas deben ser indizadas y cuales no. - El buscador debe mantener actualizados los índices sobre cualquier cambio que se realice en el sistema de archivos del disco. - El proceso de creación de los índices tiene que ser atómico, es decir, en caso de no completarse enteramente el proceso, el sistema de índices debe mantenerse estable y coherente. - Aquellos procesos que requieran un coste de tiempo elevado no deben interferir al usuario en el uso del programa. - El programa tendrá un control de los posibles errores que puedan surgir en la ejecución. - En cuanto a la funcionalidad del programa, se podrán realizar búsquedas sobre: • El contenido de archivos de texto, con el formato de texto plano o Word. Para concretar el alcance del programa, a continuación se detalla los objetivos que tiene que cumplir el nuevo buscador. - Implementar un programa que permita al usuario realizar búsquedas sobre la información almacenada localmente en el ordenador personal. - Los resultados de la búsqueda se tienen que presentar al usuario de forma inmediata. Para ello el programa tendrá que crear un sistema de índices con la información obtenida de los archivos del disco duro. Dichos índices deben ocupar el menor tamaño posible y deben crearse también en el menor tiempo posible. - Se podrá elegir qué rutas deben ser indizadas y cuales no. - El buscador debe mantener actualizados los índices sobre cualquier cambio que se realice en el sistema de archivos del disco. - El proceso de creación de los índices tiene que ser atómico, es decir, en caso de no completarse enteramente el proceso, el sistema de índices debe mantenerse estable y coherente. - Aquellos procesos que requieran un coste de tiempo elevado no deben interferir al usuario en el uso del programa. - El programa tendrá un control de los posibles errores que puedan surgir en la ejecución. - En cuanto a la funcionalidad del programa, se podrán realizar búsquedas sobre: • El contenido de archivos de texto, con el formato de texto plano o Word. • El nombre de archivos y directorios de los discos. • El contenido de todo archivo que se pueda cambiar a un formato de texto plano. - Se podrá asignar información complementaria a los archivos del disco en función de metadatos. - Los archivos que se muestren como resultados se podrán ejecutar con el programa que tenga asociado el sistema operativo. - En la sección del programa dedicada a la búsqueda en el contenido de archivos de texto se permitirán las siguientes opciones: • Buscar forzando la coincidencia de mayúsculas y minúsculas que contengan los términos de búsqueda. • Posibilidad de usar metacaracteres. • Buscar por los metadatos asignados a los archivos. • Extender la búsqueda derivando términos a partir de los escritos por el usuario, esta opción se implementara en los idiomas inglés y español. • Se podrá incluir palabras que no deben aparecer en el contenido de los archivos resultado. • También se podrán buscar coincidencias exactas con varios términos. • El programa tendrá un sistema de corrección ortográfica. - Además los resultados deberán presentarse ordenados mediante un ranking de ordenación según la relevancia del fichero en relación a la búsqueda del usuario. - La búsqueda será contextualizada, al seleccionar un fichero se mostrarán frases donde aparezcan los términos de búsqueda. - También al seleccionar un resultado deberán mostrarse otros documentos relacionados con él. - Como se ha dicho el programa permitirá buscar por nombre de archivos.Ingeniería Técnica en Informática de Gestió

Metodología orientada a la optimización automática de la calidad de los requisitos

Las fases iniciales en los proyectos software marcan su desarrollo y resultado final. Defectos provocados en las fases iniciales afectan considerablemente a la calidad y alteran las fechas de finalización. Las organizaciones internacionales se han hecho eco de este problema y se dedican gran cantidad de esfuerzos en investigación para mejorar la calidad en las primeras etapas del desarrollo. Con esta iniciativa surge la ingeniería de requisitos, disciplina encargada de proporcionar procesos de ingeniería en el desarrollo de especificaciones de requisitos necesarias para definir proyectos con cierta complejidad. Por ello han surgido numerosas guías y estándares para asegurar la calidad de los requisitos que componen las especificaciones, evitando así que posibles defectos en los requisitos provoquen errores en el desarrollo y en el producto final. Una de las mayores dificultades relacionadas con la calidad en las especificaciones de requisitos es su dependencia a las exigencias de los distintos proyectos, y a las restricciones impuestas por los distintos dominios. En esta tesis se presenta una metodología que permite incluir las restricciones impuestas mediante el procesamiento de corpus de requisitos clasificados en función de su calidad por expertos del proyecto y del dominio. El objetivo de la metodología es proporcionar métodos automáticos para la optimización de la calidad en los requisitos de ingeniería. Para ello se propone un proceso para desarrollar un clasificador que permita emular la estimación de la calidad que otorgaría el experto del dominio a un requisito, un sistema de asesoramiento automático para mejorar la calidad de requisitos defectuosos y un método para la generación automática de patrones sintáctico-semánticos, que puedan ser empleados como guía en la redacción de nuevos requisitos asegurando así una composición estructuralmente correcta. Con el fin de corroborar las propuestas de la investigación, se presentan casos de estudio mediante el tratamiento de un corpus de requisitos proporcionado por el Grupo de Trabajo de la organización INCOSE (International Council on Systems Engineering 2016) y se analizan los resultados obtenidos.Programa Oficial de Doctorado en Ciencia y Tecnología InformáticaPresidente: José Ambrosio Toval Álvarez.- Secretario: María Isabel Sánchez Segura.- Vocal: Susana Irene Díaz Rodrígue

A free mind cannot be digitally transferred

The digital transfer of the mind to a computer system (i.e., mind uploading) requires representing the mind as a finite sequence of bits (1s and 0s). The classic “stored-program computer” paradigm, in turn, implies the equivalence between program and data, so that the sequence of bits themselves can be interpreted as a program, which will be algorithmically executed in the receiving device. Now, according to a previous proof, on which this paper is based, a computational or algorithmic machine, however complex, cannot be free (in the sense of ‘self-determined’). Consequently, a finite sequence of bits cannot adequately represent a free mind and, therefore, a free mind cannot be digitally transferred, quod erat demonstrandum. The impossibility of making this transfer, as demonstrated here, should be a concern especially for those who wish to achieve it. Since we intend this to be a rigorous demonstration, we must give precise definitions and conditions of validity. The most important part of the paper is devoted to explaining the meaning and reasonableness of these definitions and conditions (for example that being truly free means being self-determined). Special attention is paid, also, to the philosophical implications of the demonstration. Finally, this thesis is distinguished from other closely related issues (such as other possible technological difficulties to “discretize” the mind; or, whether it is possible to transfer the mind from one material support to another one in a non-digital way).This research has received funding from the RESTART project “Continuous Reverse Engineering for Software Product Lines/Ingeniería Inversa Continua para Líneas de Productos de Software” (ref. RTI2018-099915-B-I00, Convocatoria Proyectos de I + D Retos Investigación del Programa Estatal de I + D + i Orientada a los Retos de la Sociedad 2018); MOMEBIA project “Monitorización del Mercado Eléctrico Basada en técnicas de Inteligencia Artificial" (ref. RTC2019-007501-7, Convocatoria de Proyectos de I + D + i «Retos-Colaboración» 2019—Ministerio de Ciencia e Innovación—Agencia Estatal de Investigación); it has also been supported by the Madrid Government (Comunidad de Madrid-Spain) under the Multiannual Agreement with UC3M in the line of Excellence of University Professors (EPUC3M17), and in the context of the V PRICIT (Regional Programme of Research and Technological Innovation)

Analysis of requirements quality evolution

Proceedings of: 40th International Conference on Software Engineering in Gothenburg, Sweden, May 27 - June 03, 2018A fundamental aspect in the requirements engineering process is to know the quality of a specification, including how the quality evolves over time. This paper introduces an industrial approach for analysis of requirements quality evolution. The approach has been implemented in the System Quality Analyzer tool, exploits quality metrics for requirements correctness, consistency, and completeness, and is based on the storage of quality information in snapshots that are combined and displayed in charts. This can help practitioners to assess the progress and status of a requirements engineering process and to make decisions.The AMASS project (H2020-ECSEL grant agreement no 692474; Spain's MINECO ref. PCIN-2015-262) has funded this work

Application of machine learning techniques to the flexible assessment and improvement of requirements quality

It is already common to compute quantitative metrics of requirements to assess their quality. However, the risk is to build assessment methods and tools that are both arbitrary and rigid in the parameterization and combination of metrics. Specifically, we show that a linear combination of metrics is insufficient to adequately compute a global measure of quality. In this work, we propose to develop a flexible method to assess and improve the quality of requirements that can be adapted to different contexts, projects, organizations, and quality standards, with a high degree of automation. The domain experts contribute with an initial set of requirements that they have classified according to their quality, and we extract their quality metrics. We then use machine learning techniques to emulate the implicit expert’s quality function. We provide also a procedure to suggest improvements in bad requirements. We compare the obtained rule-based classifiers with different machine learning algorithms, obtaining measurements of effectiveness around 85%. We show as well the appearance of the generated rules and how to interpret them. The method is tailorable to different contexts, different styles to write requirements, and different demands in quality. The whole process of inferring and applying the quality rules adapted to each organization is highly automatedThis research has received funding from the CRYSTAL project–Critical System Engineering Acceleration (European Union’s Seventh Framework Program FP7/2007-2013, ARTEMIS Joint Undertaking grant agreement no 332830); and from the AMASS project–Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (H2020-ECSEL grant agreement no 692474; Spain’s MINECO ref. PCIN-2015-262)