TY - JOUR A1 - Letelier Torres, Patricio AU - Sánchez Palma, Pedro AU - Ramos Salavert, Isidro AU - Pastor López, Óscar T1 - OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto Y1 - 1998 UR - http://hdl.handle.net/10317/732 AB - 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. KW - Lenguajes y Sistemas Informáticos KW - OASIS KW - Modelado conceptual KW - Lógica dinámica KW - Especificaciones de procesos LA - spa PB - Universidad Politécnica de Valencia. Servicio de Publicaciones ER -