OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 1998 Repository: 72 Subject: OASIS

Sort by Score Title Year -

1-3 from 3 results (0.009 seconds)

Title: Prototyping a requirements specification through an automatically generated concurrent logic program
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro
Language: Inglés
Repository: 72
Subject: OASIS / Modelos conceptuales / Dinamica lógica / Lenguajes y Sistemas Informáticos

Acceder
Title: OASIS Versión 3.0: Un enfoque formal para el modelado conceptual orientado a objeto
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro / Pastor López, Óscar
Language: Español
Repository: 72
Subject: OASIS / Modelado conceptual / Lógica dinámica / Especificaciones de procesos / Lenguajes y Sistemas Informáticos

Acceder
Title: Formalización de OASIS en lógica dinámica incluyendo especificaciones de proceso
Author: Letelier Torres, Patricio / Sánchez Palma, Pedro / Ramos Salavert, Isidro / Pastor López, Óscar
Language: Español
Repository: 72
Subject: OASIS / Lógica dinámica / Álgebra de procesos para Objetos (APO) / Lenguajes y Sistemas Informáticos

Acceder

« Previous 1 Next »