Semántica de simulación para relaciones de conformidad

Esta tesis trata de las llamadas relaciones de conformidad que pueden darse entre dos sistemas cualesquiera, especificación e implementación. Como novedad introduce el uso de técnicas coinductivas para la definición de iocos, una relación de conformidad capaz de distinguir el contexto local de ejecución de un proceso. Al constituir iocos la parte central de una nueva teoría de Model Based Testing (MBT), se precisa de una descripción formal de los sistemas en juego; esto se lleva a cabo en primera instancia mediante sistemas de transiciones etiquetadas y posteriormente mediante un enfoque más abstracto, un álgebra de procesos. Las teorías de testing tienen por objeto confirmar las relaciones de conformidad mediante la ejecución de un conjunto de tests sobre un sistema –la implementación– cuya estructura interna se desconoce. Particularmente los beneficios de un enfoque MBT son inmediatos, ya que la generación de los tests puede abordarse de manera sistemática una vez se disponga de un modelo formal de la especificación, lo que contribuye a eliminar el error imputable al factor humano; esto se logra dando un algoritmo generador de tests que toma cono entrada una especificación y produce un conjunto de tests, posiblemente infinito, suficientemente representativo para asegurar la relación de conformidad. Este enfoque inicial, conocido como testing offline o testing estático, es mejorado para ganar en eficiencia evitando un alto consumo en recursos tanto de tiempo como de memoria mediante la técnica de testing online o testing dinámico, donde ambos pasos de generación y ejecución se ejecutan de manera alternada...

Métodos de evaluación, mantenimiento y reutilización de páginas 'wiki' educativas de acceso abierto

El propósito de este proyecto ha sido el desarrollo y la consolidación de la manera en que los docentes gestionamos las denominadas ‘wikis’, páginas web autoeditables que varias asignaturas universitarias utilizan ya como recursos docentes abiertos y colaborativos. Concretamente nos centramos en los tres aspectos más relevantes de dicha gestión: la evaluación de la utilidad de estos recursos, su mantenimiento para que permanezcan funcionales y relevantes para nuestro alumnado, y la reutilización de contenidos entre recursos similares del mismo o de distintos proyectos educativos. Este Proyecto de Innovación y Mejora de la Calidad Docente (PIMCD) aporta continuidad a un proyecto anterior denominado “Implementación de wikis educativas de acceso abierto con amplia diversidad de contenidos en inglés y castellano”, realizado durante el curso 2014-2015, con el identificador 368. Se trata de una iniciativa a largo plazo en la que un grupo amplio de docentes de la Universidad Complutense de Madrid estamos tratando de explorar todo el potencial de las aplicaciones web colaborativas para fomentar el aprendizaje cooperativo y mejorar la participación de los estudiantes en su formación, a la par que aumentar su motivación intrínseca por la generación y transmisión de conocimiento.

Equivalencia semántica entre diagnósticos de la taxonomía NANDA-I y el sistema unificado de lenguaje CIPE. Una aproximación a la armonización del lenguaje enfermero

Gran parte de la historia de Enfermería se escribe y se describe como la búsqueda de formas de evidenciar su identidad profesional. Actualmente, en un marco académico, jurídico y deontológico, se sitúa a la disciplina como profesión de referencia en el cuidado de la salud. De forma paralela, ha sido una constante el estudio de las denominaciones de los fenómenos, situaciones y/o problemas, competencia de Enfermería, en la búsqueda de formas de expresión oral y escrita que representen el saber y el quehacer profesional y constituyan un lenguaje profesional. Hoy en día Enfermería dispone de distintos lenguajes estandarizados. En lo que se refiere a diagnósticos enfermeros, el más utilizado en nuestro país es NANDA I y en el ámbito internacional, además de éste, CIPE. A pesar de ello, aunar la utilización de un lenguaje profesional normalizado e interoperable es todavía, en la mayoría de las ocasiones, difícil de conseguir. Sin embargo, la posibilidad que proporcionan los sistemas informáticos de salud, de combinar la utilización de distintos lenguajes semánticamente equivalentes, puede facilitar la armonización que nos conduzca a un lenguaje profesional preciso, con el que no haya duda en nombrar los cuidados propios de la competencia enfermera...