Modelado conceptual con un lenguaje formal orientado a objeto
Knowledge Area
Lenguajes y Sistemas InformáticosSponsors
Este trababajo está financiado por el proyecto MENHIR (Métodos, Entornos y Herramientas para la Ingeniería de Requisitos), de la Comisión Interministerial de Ciencia y Tecnología, con referencia TIC97-0593-C05-01.Publication date
1999-08Publisher
Centro Latinoamericano de Estudios en Informática (CLEI)Bibliographic Citation
SÁNCHEZ PALMA, Pedro et al. Modelado conceptual con un lenguaje formal orientado a objeto. En: Conferencia Latinoamericana de Informática, CLEI´99 (25ª: 1999: Asunción, Paraguay) XXV Conferencia Latinoamericana de Informática. CLEI´99, 30 de Agosto al 3 de Septiembre. 1999. ISBN 99925-817-0-0Keywords
Ingeniería de requisitosModelo conceptual
Modelado orientado a objeto
OASIS
Abstract
El modelado conceptual tiene por objetivo el establecer los requisitos funcionales del sistema. El modelo conceptual establece el vínculo entre el espacio del problema y el espacio de la solución, constituyendo la base para las tareas posteriores en el desarrollo del sistema de información. Los enfoques más populares para abordar el modelado conceptual están basados en notaciones informales, donde la verificación y validación suelen ser poco exhaustivas y difíciles de realizar. Los métodos formales ofrecen una mejora en estos aspectos pero su introducción en entornos industriales de desarrollo de software no se ha popularizado por carencia de métodos y herramientas adecuadas. OASIS es un enfoque formal para el modelado conceptual orientado a objeto. En OASIS, desde sus primeras versiones se ha puesto especial hincapié en su utilización como modelo subyacente en métodos y herramientas de aplicabilidad industrial. Así, siguiendo el modelo OASIS, se han desarrollado una serie de herramientas ...
Collections
The following license files are associated with this item:
Social media