Análisis de Riesgos y Seguridad en los Almacenes de Datos
Tipo: Capítulo Libro Nacional Lugar: Criptología y Seguridad de la Información. Actas de la VI Reunión Española. 14-16 Septiembre 2000Caballero, P., Hernández, C. Editorial Ra-Ma. ISBN 8478974318
Fecha de Publicación: .2000-09-24
Autores: J.A. Rodero
                 Mario Piattini
                 Ambrosio Toval Alvarez

Formally Modelling and Executing the UML Class Diagram
Tipo: Conferencia Nacional Lugar: V Jornadas de Trabajo MENHIR. Granada
Fecha de Publicación: .2000-03-30
Autores: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Formally Modeling UML and its Evolution: A Holistic Approach
Tipo: Capítulo Libro Internacional Lugar: "Formal Methods for Open Object-Based Distributed Systems IV" Scott F. Smith, Carolyn L. Talcott (eds.), Kluwer Academic Press, 2000 ISBN 0-7923-7923-3 USA
Fecha de Publicación: .2000-01-03
Autores: Ambrosio Toval Alvarez
                 José Luis Fernández Alemán

Modelado Formal y Ejecutabilidad de Diagramas de Clases de UML
Tipo: Conferencia Nacional Lugar: IV Jornadas de Ingeniería del Software y Bases de Datos. Departamento de Informática. Escuela Politécnica. Universidad de Extremadura
Fecha de Publicación: .1999-11-24
Autores: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Interested in formalizing the UML Evolution Semantics? Be 'Reflective'
Tipo: Taller Internacional Lugar: Rigorous Modeling and Analysis With the UML: Challenges and Limitations, in conjunction with OOPSLA'99 Denver, Colorado (USA). ACM SIGPLAN
Fecha de Publicación: .1999-11-01
Autores: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez