Buscar
Mostrando ítems 1-8 de 8
Constructs for prototyping information systems using object petri nets
(Institute Electrical and Electronics Engineers., 1997-10)
OASIS 3.0: un enfoque formal para el modelado conceptual orientado a objeto
(Centro de Información Tecnológica (Chile), 1999-03)
Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
(Universidad Politécnica de Valencia, 1998)
OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
(Universidad Politécnica de Valencia. Servicio de Publicaciones, 1998)
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)
Prototyping a requirements specification through an automatically generated concurrent logic program
(Springer Berlin, 1998-01-01)
Redes sociales