Buscar
Mostrando ítems 1-5 de 5
OASIS 3.0: un enfoque formal para el modelado conceptual orientado a objeto
(Centro de Información Tecnológica (Chile), 1999-03)
Animating formal specifications with inheritance in a DL based framework
(Springer Verlag, 1999-12-01)
Modelado conceptual con un lenguaje formal orientado a objeto
(Centro Latinoamericano de Estudios en Informática (CLEI), 1999-08)
Un ambiente para especificaciones incremental y validación de modelos conceptuales
(Centro de Información Tecnológica (Chile), 1999-03)
Redes sociales