Método formal de modelización conceptual para sistemas software

• Autores: Ana María Moreno Sánchez-Capuchino
• Directores de la Tesis: Natalia Juristo Juzgado (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1998
• Idioma: español
• Tribunal Calificador de la Tesis: José Luis Maté Hernández (presid.) , José Luis Morant Ramón (secret.) , Juan Pazos Sierra (voc.) , Arturo Ribagorda Garnacho (voc.) , Reind Van de Ruet (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • La importancia del proceso de Análisis en el Desarrollo de Software es comunmente aceptada por la comunidad de Ingenieros de Software, Sin embargo, la falta de formalización de este proceso supone una importante limitación.

    Pararesolver esta carencia se propone un enfoque para abordar la construcción de los modelos conceptuales de una forma sistemática, disciplinada y formal. La materialización de este propósito se lleva acabo mediante la definición de un método riguroso de Análisis MATE (Metodo de Análisis a partir de una especificación Textual), que guía al analista durante el proceso de obtención de los modelos conceptuales a partir de la información proporcionada por el usuario. Este método se soporta sobre una formalización FORMOL (Formalización de la Modelización conceptual a partir del Lenguaje natural), que proporciona un conjunto de reglas justificadas, formales y correctas, que permiten obtener los componentes de la moselización.