Formalización algebraica del método de arriba hacia abajo de diseño tecnológico

La literatura sobre ingeniería del software contiene numerosas propuestas para sistematizar las operaciones de diseño y ayudar en la toma de decisiones relacionadas con las soluciones a los problemas. Este artículo propone un marco conceptual para justificar la técnica de arriba hacia abajo que se sigue en el diseño tecnológico. El punto de partida es el enunciado de un problema en su versión de conjetura inicial, esto es, una hipótesis, y consta de una fase inicial que es esencialmente del ámbito del problema, y una segunda fase que es esencialmente del dominio de la solución. La fase del dominio del problema aborda una técnica para expresar el enunciado del problema con formato de una definición correcta y exacta, contextualizada en un dominio de referencia que es un modelo del problema y basada en una estructura sintáctica preestablecida. Esta fase produce una especificación formal del problema con formato de una expresión lógica o matemática que refiere el problema a un modelo y que denota, desde un enfoque externo al problema, los objetivos que se persigue que la solución satisfaga. La fase del dominio de la solución obtiene una especificación estructural de una solución al problema, que consiste en un árbol descriptor de la jerarquía de los módulos que componen la estructura y un grafo de las relaciones entre módulos, es decir, de la organización de los módulos. El fundamento del proceso de tomar decisiones de arriba hacia abajo consiste en clasificar las acciones que conforman el método de diseño y en establecer una ordenación entre las clases de acciones encontradas. Se propone un caso de estudio sencillo para poner de relieve el alcance de esta propuesta.

Seguimiento y mejora de las asignaturas de segundo curso del Grado en Ingeniería Informática durante el curso 2013-2014

En esta memoria se describe el trabajo de la red docente para el seguimiento y control de calidad de las asignaturas del segundo curso del Grado en Ingeniería Informática impartido en la Escuela Politécnica Superior de la Universidad de Alicante. En esta edición, el trabajo de la red se ha centrado en el estudio de las necesidades formativas y los contenidos impartidos en las asignaturas. El resultado ha sido la creación de un grafo de dependencias entre asignaturas de segundo y primer curso (y de segundo curso entre sí), un mapa de necesidades formativas para acceder a las asignaturas de segundo curso y un mapa de los contenidos impartidos en éstas. Asimismo, se ha elaborado un calendario on-line de evaluaciones para el curso 2014-2015.

Detección del fenómeno de Bell previo al reflejo pupilar a la luz

Contribución como póster al Simposio de Ciencias de la Visión en la XI Reunión Nacional de Óptica