Del Diagrama de Secuencias de UML a los Statecharts: Extensión de Notaciones y Formalización de Algoritmos de Transformación
Tipo: Conferencia Nacional Lugar: II Jornadas trabajo DOLMEN. Valencia (DOLMEN II)
Fecha de Publicación: .2002-03-12
Autores: J.R Hoyos Barceló
                 Ambrosio Toval Alvarez

Lenguaje de Especificación de Restricciones de Seguridad: OSCL v1.1
Tipo: Conferencia Iberoamericana Lugar: Actas del I Congreso Iberoamericano de Seguridad Informática, Morelia, Michoacán, México
Fecha de Publicación: .2002-02-01
Autores: Eduardo Fernández
                 Ambrosio Toval Alvarez
                 Mario Piattini

Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach
Tipo: Revista JCR Lugar: Requirements Engineering Journal (REJ), ISSN: 0947-3602 (Print) 1432-010X (Online), vol. 6, n. 4, pp. 205-219. JCR Factor Impacto: 1,538
Fecha de Publicación: .2002-01-01
Autores: 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
Tipo: Revista JCR Lugar: Cybernetics and Systems, ISSN 0196-9722 vol. 32, n. 8, JCR Factor Impacto: 0,655
Fecha de Publicación: .2001-12-01
Autores: Joaquín Nicolás Ros
                 Ambrosio Toval Alvarez
                 Aurelio Arenas
                 Juan Alcalde

Transformaciones Precisas en los Diagramas de Secuencias de UML
Tipo: Conferencia Nacional Lugar: 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)
Fecha de Publicación: .2001-11-21
Autores: J.R Hoyos Barceló
                 José Luis Fernández Alemán
                 Ambrosio Toval Alvarez