Verificación Fomal de Propiedades y Transformaciones en el Diagrama de Colaboraciones de UML
Tipo: Conferencia Nacional Lugar: II Jornadas de Trabajo DYNAMICA, Málaga
Fecha de Publicación: .2004-11-11
Autores: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Formalización Algebraica del Diagrama de Colaboraciones de UML
Tipo: Conferencia Nacional Lugar: II Jornadas de Trabajo DYNAMICA, Málaga
Fecha de Publicación: .2004-11-11
Autores: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Una aproximación formal a las métricas para diagramas de estados UML
Tipo: Conferencia Nacional Lugar: II Jornadas de Trabajo DYNAMICA, Málaga
Fecha de Publicación: .2004-11-11
Autores: C. Vigueras
                 Marcela Genero
                 José Luis Fernández Alemán
                 José A. Cruz-Lemus
                 Ambrosio Toval Alvarez
                 Mario Piattini

Experiencia, Estrategias y Retos en la Incorporación de Requisitos de Seguridad en el Sistema EFTCoR
Tipo: Conferencia Nacional Lugar: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’04), Málaga
Fecha de Publicación: .2004-11-11
Autores: Bárbara Álvarez
                 Pedro Sánchez
                 Juan Ángel Pastor
                 Ambrosio Toval Alvarez
                 Joaquín Lasheras Velasco

Definición de Requisitos de Seguridad con fines de Reutilización
Tipo: Conferencia Nacional Lugar: Primer Taller de Seguridad en Ingeniería del Software y Bases de Datos, evento asociado a las VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’04), Málaga
Fecha de Publicación: .2004-11-09
Autores: Joaquín Lasheras Velasco
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle