Report on the Euromethod Progress
Type: Technical Report Place: Informe elaborado a petición de la DGXIII de la CEE sobre evaluación de los informes realizados para la fase II del proyecto Eurométodo por SEMA Group, consorcio europeo encargado de su realización. Octubre 1990
Publishing Date: .2001-10-01
Authors: Ambrosio Toval Alvarez

Seguridad en Almacenes de Datos
Type: Spanish Book Charpter Place: Seguridad en Bases de Datos, Eduardo Fernández, Mario Piattini, M.A. Serrano (eds.). Ed. Fundación Dintel, 2001. ISBN 84-931933-9-9
Publishing Date: .2001-09-24
Authors: J.A. Rodero
                 Ambrosio Toval Alvarez

Requisitos Reutilizables de Seguridad en Sistemas de Información y Bases de Datos
Type: Spanish Book Charpter Place: Seguridad en Bases de Datos, Eduardo Fernández, Mario Piattini, M.A. Serrano (eds.). Ed. Fundación Dintel, 2001. ISBN 84-931933-9-9
Publishing Date: .2001-09-24
Authors: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle

Combining Formal Specifications with Design by Contract
Type: JCR Journal Place: JOOP. Journal of Object-Oriented Programming. Vol. 12, No. 9. ISSN 1097-1408 JCR
Publishing Date: .2001-09-05
Authors: Begoña Moros Valle
                 Joaquín Nicolás Ros
                 Jesús García
                 Ambrosio Toval Alvarez

RIVIERA: A Framework for Validating UML Models
Type: Spanish Conference Place: I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001)
Publishing Date: .2001-06-12
Authors: José Sáez
                 Isabel Pascual
                 Ambrosio Toval Alvarez