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

Please use this identifier to cite or link to this item: http://hdl.handle.net/10045/47233
Información del item - Informació de l'item - Item information
Title: Formalización algebraica del método de arriba hacia abajo de diseño tecnológico
Authors: García-Chamizo, Juan Manuel | Nieto-Hidalgo, Mario
Research Group/s: Informática Industrial y Redes de Computadores
Center, Department or Service: Universidad de Alicante. Departamento de Tecnología Informática y Computación
Keywords: Decisiones de diseño | Factores de diseño | Árbol estructural | Grafo de organización | Factores esenciales de la solución | Factores circunstanciales de la realización | Diseño orientado a modelo
Knowledge Area: Arquitectura y Tecnología de Computadores
Date Created: 2015
Issue Date: 2-Jun-2015
Abstract: 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.
URI: http://hdl.handle.net/10045/47233
Language: spa
Type: info:eu-repo/semantics/report
Rights: © Los autores
Peer Review: no
Appears in Collections:INV - I2RC - Informes Técnicos

Files in This Item:


Items in RUA are protected by copyright, with all rights reserved, unless otherwise indicated.