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.

Diseño y seguimiento de los TFM en el Máster de Tributación de la UA

Siguiendo con la estela del proyecto iniciado en el curso académico 2013/2014, el objetivo de este nuevo trabajo consiste en reflejar el procedimiento seguido en el ámbito del Máster en Tributación de la UA para la confección del modelo de TFM a desarrollar por los alumnos; el diseño de un sistema de seguimiento adecuado; y la delimitación de los criterios a emplear para su evaluación. El proceso para la consecución de estos propósitos se ha llevado a cabo en un marco de estrecha colaboración entre los miembros de la red, el conjunto de profesores del Máster y su equipo directivo. Así, desde la coordinación académica del título se decidió proceder al nombramiento de una comisión de asesoramiento integrada por miembros del equipo docente del Máster, de composición heterogénea en cuanto a su dedicación profesional, que, valiéndose de su experiencia y elevado nivel de formación, se encargara de adoptar las decisiones más importantes. El cometido básico de la red de investigación constituida ha consistido en supervisar el trabajo de la citada comisión; interactuar y colaborar activamente con sus participantes; realizar tareas de apoyo; participar en el proceso de toma de decisiones; y analizar los resultados derivados de su implantación práctica.