A Kit for building UML model Simulators
Tipo: Conferencia Nacional Lugar: IV Jornadas trabajo DOLMEN. Alicante (DOLMEN IV)
Fecha de Publicación: .2003-11-11
Autores: José Sáez
                 Francisco Maestre
                 Ambrosio Toval Alvarez

Automated property verification in UML models
Tipo: Taller Internacional Lugar: AVoCS 2003: Third Workshop on Automated Verification of Critical Systems, Southampton (UK)
Fecha de Publicación: .2003-04-30
Autores: Ambrosio Toval Alvarez
                 José Sáez
                 Francisco Maestre

Una infraestructura común para la animación de modelos UML
Tipo: Conferencia Nacional Lugar: VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’02) El Escorial, Madrid
Fecha de Publicación: .2002-11-19
Autores: José Sáez
                 Ambrosio Toval Alvarez
                 F.J. Albacete

Verificación de propiedades de los diagramas de estados de UML
Tipo: Conferencia Nacional Lugar: III Jornadas trabajo DOLMEN. El Escorial (Madrid) (DOLMEN III)
Fecha de Publicación: .2002-11-19
Autores: José Sáez
                 Francisco Maestre
                 Ambrosio Toval Alvarez

Integration and Transformation of UML Models
Tipo: LCNS-JCR Lugar: Object-Oriented Technology: ECOOP 2002 Workshop Reader J. Hernandez, A. Moreira (eds.), Lecture Notes in Computer Science, vol. 2548, Springer-Verlag, 2002, pp.184-191. ISSN 0302-9743; ISBN 3-540-00233-2
Fecha de Publicación: .2002-10-01
Autores: João Araújo
                 Jonathan Whittle
                 Ambrosio Toval Alvarez
                 Robert France