Verificación Fomal de Propiedades y Transformaciones en el Diagrama de Colaboraciones de UML
Type: Spanish Conference Place: II Jornadas de Trabajo DYNAMICA, Málaga
Publishing Date: .2004-11-11
Authors: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Formalización Algebraica del Diagrama de Colaboraciones de UML
Type: Spanish Conference Place: II Jornadas de Trabajo DYNAMICA, Málaga
Publishing Date: .2004-11-11
Authors: Francisco J. Lucas
                 Ambrosio Toval Alvarez

Una aproximación formal a las métricas para diagramas de estados UML
Type: Spanish Conference Place: II Jornadas de Trabajo DYNAMICA, Málaga
Publishing Date: .2004-11-11
Authors: 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
Type: Spanish Conference Place: VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD’04), Málaga
Publishing Date: .2004-11-11
Authors: 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
Type: Spanish Conference Place: 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
Publishing Date: .2004-11-09
Authors: Joaquín Lasheras Velasco
                 Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle