Análisis de Riesgos y Seguridad en los Almacenes de Datos
Type: Spanish Book Charpter Place: 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
Publishing Date: .2000-09-24
Authors: J.A. Rodero
                 Mario Piattini
                 Ambrosio Toval Alvarez

Formally Modelling and Executing the UML Class Diagram
Type: Spanish Conference Place: V Jornadas de Trabajo MENHIR. Granada
Publishing Date: .2000-03-30
Authors: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Formally Modeling UML and its Evolution: A Holistic Approach
Type: International Book Chapter Place: "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
Publishing Date: .2000-01-03
Authors: Ambrosio Toval Alvarez
                 José Luis Fernández Alemán

Modelado Formal y Ejecutabilidad de Diagramas de Clases de UML
Type: Spanish Conference Place: IV Jornadas de Ingeniería del Software y Bases de Datos. Departamento de Informática. Escuela Politécnica. Universidad de Extremadura
Publishing Date: .1999-11-24
Authors: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez

Interested in formalizing the UML Evolution Semantics? Be 'Reflective'
Type: Workshop Internaticonal Place: Rigorous Modeling and Analysis With the UML: Challenges and Limitations, in conjunction with OOPSLA'99 Denver, Colorado (USA). ACM SIGPLAN
Publishing Date: .1999-11-01
Authors: José Luis Fernández Alemán
                 Ambrosio Toval Alvarez