Prototipado de especificaciones OASIS en GemStone
Tipo: Conferencia Nacional Lugar: 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.
Fecha de Publicación: .1997-09-03
Autores: 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
Tipo: Conferencia Internacional Lugar: APPIA-GULP-PRODE'97: 1997 Joint Conference on Declarative Programming. Universitá di Udine (Italia) y Grado (Italia)
Fecha de Publicación: .1997-06-16
Autores: Joaquín Nicolás Ros
                 Juan Alcalde
                 Ambrosio Toval Alvarez
                 Aurelio Arenas

Desarrollo del soporte metodológico OM: OASIS Method
Tipo: Conferencia Nacional Lugar: I Jornadas de Trabajo en Ingeniería del Software. Universidad de Sevilla/grupo RITOS-IDEAS-CYTED
Fecha de Publicación: .1996-11-14
Autores: 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
Tipo: Conferencia Nacional Lugar: II Jornadas sobre Tecnología Orientada a Objetos. SIMO TCI’96. Recinto Ferial Juan Carlos I, Madrid
Fecha de Publicación: .1996-11-06
Autores: Joaquín Nicolás Ros
                 José Luis Fernández Alemán
                 Ambrosio Toval Alvarez
                 José Sáez

Entregables del proyecto PASO PC-310
Tipo: Capítulo Libro Nacional Lugar: 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
Fecha de Publicación: .1996-09-24
Autores: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 José Luis Fernández Alemán