AlgChart: Una notación gráfica para especificaciones algebraicas modulares
Tipo: Conferencia Nacional Lugar: III Jornadas de Ingeniería del Software. Facultad de Informática, Dpto. de Informática Lenguajes y Sistemas de la Universidad de Murcia. ISBN:84-95095-45-9
Fecha de Publicación: .1998-11-11
Autores: José Mario Cepeda
                 Ambrosio Toval Alvarez

Verificación formal de especificaciones en UML
Tipo: Conferencia Nacional Lugar: III Jornadas de Ingeniería del Software. Facultad de Informática, Dpto. de Informática Lenguajes y Sistemas de la Universidad de Murcia. ISBN:84-95095-45-9
Fecha de Publicación: .1998-11-11
Autores: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Actas de las III Jornadas de Ingeniería del Software (JIS’98)
Tipo: Libro Nacional Lugar: ISBN:84-95095-45-9 (1998) Ed. DM
Fecha de Publicación: .1998-09-24
Autores: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros

MENHIR Modelos, Entornos y Nueva Herramientas para la Ingeniería de Requisitos
Tipo: Conferencia Nacional Lugar: III Jornadas sobre Tecnología de Objetos. Pabellón Científico Cartuja’93, Sevilla. ATI, Capítulo territorial de Andalucía
Fecha de Publicación: .1997-10-15
Autores: Isidro Ramos
                 Ambrosio Toval Alvarez
                 M. Toro
                 J. Parets
                 J.M. Marqués

Una Experiencia de Desarrollo con GemStone
Tipo: Conferencia Nacional Lugar: III Jornadas sobre Tecnología de Objetos. Pabellón Científico Cartuja’93, Sevilla. ATI, Capítulo territorial de Andalucía
Fecha de Publicación: .1997-10-15
     Ver BIBTEX 
Autores: Begoña Moros Valle
                 G. Casado
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Jesús García