%0 Journal Article 
%A Letelier Torres, Patricio
%A Sánchez Palma, Pedro
%A Ramos Salavert, Isidro
%A Pastor López, Óscar
%T OASIS Versión 3.0:  Un enfoque formal para el modelado conceptual orientado a objeto
%D 1998
%U http://hdl.handle.net/10317/732
%X Este documento presenta OASIS 3.0, un enfoque formal para
el modelado conceptual de sistemas de información usando el
paradigma orientado a objeto. La visión aplicada de OASIS viene
dada por un lenguaje de especificación textual. No se pretende
promover el uso directo del lenguaje de especificación, sino que
éste sirva de representación de más bajo nivel para herramientas
gráficas. Mediante una interfaz adecuada se pueden establecer
automáticamente correspondencias con los elementos del modelo
subyacente.
%K Lenguajes y Sistemas Informáticos
%K OASIS
%K Modelado conceptual
%K Lógica dinámica
%K Especificaciones de procesos
%~ GOEDOC, SUB GOETTINGEN