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. Thesis (Doctoral), Facultad de Informática (UPM).

Description

Title: Método formal de modelización conceptual para sistemas software
Author/s:
  • Moreno Sánchez-Capuchino, Ana María
Contributor/s:
  • Juristo Juzgado, Natalia
Item Type: Thesis (Doctoral)
Date: 1997
Subjects:
Freetext Keywords: INTELIGENCIA ARTIFICIAL; SOFTWARE; CIENCIA DE LOS ORDENADORES; MATEMATICAS;
Faculty: Facultad de Informática (UPM)
Department: Lenguajes y Sistemas Informáticos e Ingeniería del Software
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (11MB) | Preview

Abstract

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.

More information

Item ID: 1056
DC Identifier: http://oa.upm.es/1056/
OAI Identifier: oai:oa.upm.es:1056
Deposited by: Archivo Digital UPM
Deposited on: 17 Jun 2008
Last Modified: 20 Apr 2016 06:40
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM