UML Modeling Languages and Applications. UML 2004 Satellite Activities
Tipo: LCNS-JCR Lugar: Lisbon, Portugal, October 11-15, 2004 Revised Selected Papers. Lecture Notes in Computer Science, vol.3297, ISSN 0302-9743. ISBN 3-540-25081-6
Fecha de Publicación: .2004-10-01
Autores: Jardim Nunes
                 N. Selic
                 B. Silva
                 Ambrosio Toval Alvarez

Workshops at the UML 2004 Conference
Tipo: LCNS-JCR Lugar: 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
Fecha de Publicación: .2004-10-01
Autores: Ambrosio Toval Alvarez

Formal Verification of Properties in the UML Collaboration Diagram
Tipo: Taller Internacional Lugar: SV04: Third Workshop on System Testing and Validation, Paris (Francia). Evento satélite de ICCSEA 2004
Fecha de Publicación: .2004-01-01
Autores: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Emerging OCL Tools
Tipo: Revista Internacional Lugar: Software and System Modeling (SoSyM), vol. 2 num. 4 , pp. 248-261, ISSN: 1619-1366
Fecha de Publicación: .2003-12-01
Autores: Ambrosio Toval Alvarez
                 Victor Requena
                 José Luis Fernández Alemán

Soporte Automatizado a la Reutilización de Requisitos
Tipo: Conferencia Nacional Lugar: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’03), Alicante
Fecha de Publicación: .2003-11-12
Autores: Joaquín Lasheras Velasco
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle