Sánchez Palma, Pedro ; Letelier Torres, Patricio ; Ramos Salavert, Isidro. SÁNCHEZ PALMA, Pedro et al. Modelado conceptual con un lenguaje formal orientado a objeto. En: Conferencia Latinoamericana de Informática, CLEI´99 (25ª: 1999: Asunción, Paraguay) XXV Conferencia Latinoamericana de Informática. CLEI´99, 30 de Agosto al 3 de Septiembre. 1999. ISBN 99925-817-0-0.
,
Sánchez Palma, Pedro ; Letelier Torres, Patricio ; Ramos Salavert, Isidro. SÁNCHEZ PALMA, Pedro et al. OASIS 3.0: un enfoque formal para el modelado conceptual orientado a objeto. En: Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. IDEAS´99 (2º: 1999: Alajuela, Costa Rica) Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. IDEAS´99. Alajuela, Costa Rica del 24 al 26 de marzo: Memorias. Cartago, R.C.: Centro de Información Tecnológica, 1999. ISBN 9968-32-000-5.
,
Letelier Torres, Patricio ; Sánchez Palma, Pedro ; Ramos Salavert, Isidro. LETELIER, P., SÁNCHEZ, P., RAMOS, I., PASTOR, O. Formalización de OASIS en Lógica Dinámica incluyendo especificaciones de proceso. Informe Técnico DSIC-II/2/98. Valencia : Universidad de Valencia, 1998..
,
Letelier Torres, Patricio ; Sánchez Palma, Pedro ; Ramos Salavert, Isidro LETELIER TORRES,Patricio; SÁNCHEZ PALMA, Pedro y RAMOS SALAVERT, Isidro. Un modelo abstracto de ejecución para animar modelos conceptuales. En: Congreso Internacional de Investigación en Ciencias Computacionales (6º: 1999: Cancún, Mexico): Memorias del VI Congreso Internacional de Investigación en Ciencias Computacionales. (CIICC´99), del 22-24 de Septiembre, 1999. Pp. 80-91. ISBN 970-18-7409-9.
,
Letelier Torres, Patricio ; Ramos Salavert, Isidro ; Corchuelo Gil, Rafael LETELIER TORRES, Patricio; SÁNCHEZ PALMA, Pedro y RAMOS SALAVERT, Isidro. Animation of conceptuals models using two concurrent environments: an overview. En: IMACS/IEEE International Multiconference on Circuits, Systems, Communications and Computers (3º: 1999: Atenas) 1999. ISBN 960-8052-02-5.
,
Letelier Torres, Patricio ; Sánchez Palma, Pedro ; Ramos Salavert, Isidro LETELIER, Patricio, SÁNCHEZ, Pedro, RAMOS, Isidro. Un ambiente para especificaciones incremental y validación de modelos conceptuales. En: Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software. IDEAS´99. (2º: Alajuela, Costa-Rica). Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes Software. IDEAS´99. Alajuela, Costa Rica del 24 al 26 de marzo de 1999: Memorias. Cartago: Centro de Información Tecnológica. 1999. ISBN 9968-32-000-5.
,
