Report on the Euromethod Progress
Tipo: Informe Técnico Lugar: 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
Fecha de Publicación: .2001-10-01
Autores: Ambrosio Toval Alvarez

Seguridad en Almacenes de Datos
Tipo: Capítulo Libro Nacional Lugar: Seguridad en Bases de Datos, Eduardo Fernández, Mario Piattini, M.A. Serrano (eds.). Ed. Fundación Dintel, 2001. ISBN 84-931933-9-9
Fecha de Publicación: .2001-09-24
Autores: J.A. Rodero
                 Ambrosio Toval Alvarez

Requisitos Reutilizables de Seguridad en Sistemas de Información y Bases de Datos
Tipo: Capítulo Libro Nacional Lugar: Seguridad en Bases de Datos, Eduardo Fernández, Mario Piattini, M.A. Serrano (eds.). Ed. Fundación Dintel, 2001. ISBN 84-931933-9-9
Fecha de Publicación: .2001-09-24
Autores: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle

Combining Formal Specifications with Design by Contract
Tipo: Revista JCR Lugar: JOOP. Journal of Object-Oriented Programming. Vol. 12, No. 9. ISSN 1097-1408 JCR
Fecha de Publicación: .2001-09-05
Autores: Begoña Moros Valle
                 Joaquín Nicolás Ros
                 Jesús García
                 Ambrosio Toval Alvarez

RIVIERA: A Framework for Validating UML Models
Tipo: Conferencia Nacional Lugar: I Jornadas trabajo DOLMEN. Sevilla. 2001 (DOLMEN 2001)
Fecha de Publicación: .2001-06-12
Autores: José Sáez
                 Isabel Pascual
                 Ambrosio Toval Alvarez