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

Moreno Sánchez-Capuchino, Ana María (1997). Método formal de modelización conceptual para sistemas software. Tesis (Doctoral), Facultad de Informática (UPM) [antigua denominación].

Descripción

Título: Método formal de modelización conceptual para sistemas software
Autor/es:
  • Moreno Sánchez-Capuchino, Ana María
Director/es:
  • Juristo Juzgado, Natalia
Tipo de Documento: Tesis (Doctoral)
Fecha: 1997
Materias:
Palabras Clave Informales: INTELIGENCIA ARTIFICIAL; SOFTWARE; CIENCIA DE LOS ORDENADORES; MATEMATICAS;
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (11MB) | Vista Previa

Resumen

La importancia del proceso de análisis en el desarrollo de Software es comúnmente aceptada por la comunidad de ingenieros de Software. Sin embargo, la falta de formalización de este proceso supone una importante limitación. Para resolver 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) (método 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 modelización.

Más información

ID de Registro: 1056
Identificador DC: http://oa.upm.es/1056/
Identificador OAI: oai:oa.upm.es:1056
Depositado por: Archivo Digital UPM
Depositado el: 17 Jun 2008
Ultima Modificación: 20 Abr 2016 06:40
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM