En este estudio convergen conocimientos de neuropsicología y tecnologías de la información para el desarrollo de una aplicación informática que optimice una batería de identificación de disfunciones cognitivas en pacientes adultos con esclerosis múltiple. Esta aplicación informática es presentada como respuesta a una clara necesidad de los centros médicos especializados en neurología de proveer herramientas que permitan la inclusión del mayor número de pacientes con esclerosis múltiple a la administración de baterías de identificación de disfunciones cognitivas. El desarrollo de un sistema informático que contenga y permita rendir las pruebas que conforman la batería, la posterior calificación de las mismas, la interpretación de los resultados, el almacenamiento y la actualización de la historia clínica del paciente conforman la sistematización de la batería de identificación de disfunciones cognitivas brindando beneficios reales al segmento en estudio manteniendo la eficacia de la administración. Además, se espera crear un precedente de la adherencia de los pacientes frente a la solución informática propuesta con el fin de ser base favorable para futuras soluciones informáticas que decidan incursionar en temas médicos. Con la meta de cumplir adecuadamente el desarrollo de la aplicación informática basada en el conocimiento, el presente documento ha sido estructurado en ocho capítulos: 1) fundamentos teóricos del negocio, las tendencias y tecnologías actuales, el objeto de estudio, el campo de acción y el análisis crítico de los problemas de información; 2) propuesta de solución indicando los objetivos y beneficios del proyecto; 3). modelado del negocio bajo la metodología del Proceso Unificado de Rational; 4) requerimientos y modelado de la aplicación informática; 5) arquitectura de software; 6) construcción del sistema; 7) muestra la calidad y pruebas del producto; y 8) la gestión del proyecto. / In this study, knowledge of neuropsychology and information technologies converge for the development of a computer application that optimizes a battery of identification of cognitive dysfunctions in adult patients with multiple sclerosis. This computer application is presented as a response to a clear need of medical centers specialized in neurology, to provide tools that allow the inclusion of a largest number of patients with multiple sclerosis in the administration of batteries of identification of cognitive dysfunctions. The development of a computer system which contains and allows perform the tests that conform the battery, the subsequent qualification of the same tests, the interpretation of the results, the storage and the updating of the patient's clinical history make up the systematization of the battery of identification of cognitive dysfunctions providing real benefits to the segment under study maintaining the effectiveness of the administration. In addition, it is expected to create a precedent for the adherence of patients to the proposed computer solution in order to be a favorable basis for future IT solutions that decide to explore medical issues. Considering the goal of fulfilling the development of the knowledge-based computer application properly, this document has been structured in eight chapters: 1) theoretical foundations of the business, current trends and technologies, the object of study, the field of action and the critical analysis of information problems; 2) proposed solution indicating the objectives and benefits of the project; 3). modeling the business under the Rational Unified Process methodology; 4) requirements and model of the computer application; 5) software architecture; 6) system construction; 7) shows the quality and testing of the product; and 8) project management. / Tesis

La supervisión de programas tiene como objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión de programas necesitan una gran cantidad de conocimiento sobre la utilización de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc. Los sistemas de supervisión de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. Sus características distintivas son la variedad de conocimiento que emplean y su representación, la cual normalmente incluye objetos estructurados y reglas de producción. A pesar de su importancia creciente, poca investigación se ha dedicado a la verificación y validación de sistemas con las características anteriores. En esta tesis acometemos la verificación y validación de sistemas de supervisión de programas a partir de un modelado del conocimiento, explotando la información sobre el conocimiento que requieren, su organización y la manera precisa en que utilizan este conocimiento durante el razonamiento. Esta información nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisión de programas, propiedades mas allá de la consistencia y completitud de su implementación. En esta tesis presentamos las herramientas de verificación de bases de conocimiento desarrolladas de acuerdo con este enfoque, así como algunos experimentos en la aplicación de técnicas de verificación de programas a motores de supervisión de programas con el fin de identificar las propiedades que nos interesan.