Back to results

Informatica

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

Abstract

dc:description.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.

Degree

thesis:*
Name dc:type.qualificationname
phd
Level dc:type.qualificationlevel
doctoral
Grantor dc:publisher.institution
Informatica
Year dc:date.issued
1997

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Moreno Sánchez-Capuchino, Ana María

Subjects

dc:subject × 2

Rights

dc:rights
Statement dc:rights
  • by-nc-nd
Language dc:language
es

Identifiers

dc:identifier.*
OAI identifier oai:identifier
oai:oa.upm.es:1056

Chain of custody

source
Harvested from
Universidad Politécnica de Madrid
Base URL
oa.upm.es/cgi/oai2
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
citation

Moreno Sánchez-Capuchino, Ana María. Método formal de modelización conceptual para sistemas software. doctoral thesis, Informatica, 1997. https://doi.org/10.20868/UPM.thesis.1056