Del Diagrama de Secuencias de UML a los Statecharts: Extensión de Notaciones y Formalización de Algoritmos de Transformación
Type: Spanish Conference Place: II Jornadas trabajo DOLMEN. Valencia (DOLMEN II)
Publishing Date: .2002-03-12
Authors: J.R Hoyos Barceló
                 Ambrosio Toval Alvarez

Lenguaje de Especificación de Restricciones de Seguridad: OSCL v1.1
Type: Latin American Conference Place: Actas del I Congreso Iberoamericano de Seguridad Informática, Morelia, Michoacán, México
Publishing Date: .2002-02-01
Authors: Eduardo Fernández
                 Ambrosio Toval Alvarez
                 Mario Piattini

Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach
Type: JCR Journal Place: Requirements Engineering Journal (REJ), ISSN: 0947-3602 (Print) 1432-010X (Online), vol. 6, n. 4, pp. 205-219. JCR Factor Impacto: 1,538
Publishing Date: .2002-01-01
Authors: Ambrosio Toval Alvarez
                 Joaquín Nicolás Ros
                 Begoña Moros Valle
                 Fernando García

Formal Validation and Verification of Atomic Resolution Microscope Control and Topography
Type: JCR Journal Place: Cybernetics and Systems, ISSN 0196-9722 vol. 32, n. 8, JCR Factor Impacto: 0,655
Publishing Date: .2001-12-01
Authors: Joaquín Nicolás Ros
                 Ambrosio Toval Alvarez
                 Aurelio Arenas
                 Juan Alcalde

Transformaciones Precisas en los Diagramas de Secuencias de UML
Type: Spanish Conference Place: Taller de Desarrollo de Software Preciso, en conjunción con VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD’01) Departamento de Informática. Universidad de Castilla-La Mancha, Almagro (Ciudad Real)
Publishing Date: .2001-11-21
Authors: J.R Hoyos Barceló
                 José Luis Fernández Alemán
                 Ambrosio Toval Alvarez