AlgChart: Una notación gráfica para especificaciones algebraicas modulares
Type: Spanish Conference Place: 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
Publishing Date: .1998-11-11
Authors: José Mario Cepeda
                 Ambrosio Toval Alvarez

Verificación formal de especificaciones en UML
Type: Spanish Conference Place: 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
Publishing Date: .1998-11-11
Authors: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Actas de las III Jornadas de Ingeniería del Software (JIS’98)
Type: Spanish Book Place: ISBN:84-95095-45-9 (1998) Ed. DM
Publishing Date: .1998-09-24
Authors: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros

MENHIR Modelos, Entornos y Nueva Herramientas para la Ingeniería de Requisitos
Type: Spanish Conference Place: III Jornadas sobre Tecnología de Objetos. Pabellón Científico Cartuja’93, Sevilla. ATI, Capítulo territorial de Andalucía
Publishing Date: .1997-10-15
Authors: Isidro Ramos
                 Ambrosio Toval Alvarez
                 M. Toro
                 J. Parets
                 J.M. Marqués

Una Experiencia de Desarrollo con GemStone
Type: Spanish Conference Place: III Jornadas sobre Tecnología de Objetos. Pabellón Científico Cartuja’93, Sevilla. ATI, Capítulo territorial de Andalucía
Publishing Date: .1997-10-15
     See BIBTEX 
Authors: Begoña Moros Valle
                 G. Casado
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Jesús García