UML Modeling Languages and Applications. UML 2004 Satellite Activities
Type: LCNS-JCR Place: Lisbon, Portugal, October 11-15, 2004 Revised Selected Papers. Lecture Notes in Computer Science, vol.3297, ISSN 0302-9743. ISBN 3-540-25081-6
Publishing Date: .2004-10-01
Authors: Jardim Nunes
                 N. Selic
                 B. Silva
                 Ambrosio Toval Alvarez

Workshops at the UML 2004 Conference
Type: LCNS-JCR Place: Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor (eds.),”UML” 2004- The Unified Modeling Language: Modeling Language and Applications. 7th Int. Conf. Lisbon, Portugal, October 2004, Proceedings. Lecture Notes in Computer Science, vol. 3273, pp.440-448. ISSN 0302-9743; ISBN 3-540-23307-5
Publishing Date: .2004-10-01
Authors: Ambrosio Toval Alvarez

Formal Verification of Properties in the UML Collaboration Diagram
Type: Workshop Internaticonal Place: SV04: Third Workshop on System Testing and Validation, Paris (Francia). Evento satélite de ICCSEA 2004
Publishing Date: .2004-01-01
Authors: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Emerging OCL Tools
Type: International Journal Place: Software and System Modeling (SoSyM), vol. 2 num. 4 , pp. 248-261, ISSN: 1619-1366
Publishing Date: .2003-12-01
Authors: Ambrosio Toval Alvarez
                 Victor Requena
                 José Luis Fernández Alemán

Soporte Automatizado a la Reutilización de Requisitos
Type: Spanish Conference Place: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’03), Alicante
Publishing Date: .2003-11-12
Authors: Joaquín Lasheras Velasco
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle