Prototipado de especificaciones OASIS en GemStone
Type: Spanish Conference Place: II Jornadas de Ingeniería del Software. Facultad de Informática, Dpto. de Lenguajes y Sistemas Informáticos de la Universidad del País Vasco/ Euscal Herriko Unibertsitatea, San Sebastián.
Publishing Date: .1997-09-03
Authors: Begoña Moros Valle
                 G. Casado
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Jesús García

Formal Specification of a Scanning Tunneling Microscope
Type: International Conference Place: APPIA-GULP-PRODE'97: 1997 Joint Conference on Declarative Programming. Universitá di Udine (Italia) y Grado (Italia)
Publishing Date: .1997-06-16
Authors: Joaquín Nicolás Ros
                 Juan Alcalde
                 Ambrosio Toval Alvarez
                 Aurelio Arenas

Desarrollo del soporte metodológico OM: OASIS Method
Type: Spanish Conference Place: I Jornadas de Trabajo en Ingeniería del Software. Universidad de Sevilla/grupo RITOS-IDEAS-CYTED
Publishing Date: .1996-11-14
Authors: Ambrosio Toval Alvarez
                 José Luis Fernández Alemán
                 Joaquín Nicolás Ros
                 José Sáez
                 D. Heredia

OASIS: Análisis y Diseño con el lenguaje OASIS de un microscopio efecto-túnel
Type: Spanish Conference Place: II Jornadas sobre Tecnología Orientada a Objetos. SIMO TCI’96. Recinto Ferial Juan Carlos I, Madrid
Publishing Date: .1996-11-06
Authors: Joaquín Nicolás Ros
                 José Luis Fernández Alemán
                 Ambrosio Toval Alvarez
                 José Sáez

Entregables del proyecto PASO PC-310
Type: Spanish Book Charpter Place: Documentación técnica y entregables del proyecto PASO PC-310 correspondientes a los cuatro paquetes de trabajo del proyecto. Véase apartado Participación en Proyectos de I+D financiados en Convocatorias públicas
Publishing Date: .1996-09-24
Authors: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 José Luis Fernández Alemán