Argitalpenak (9) JOSE RAMON DE DIEGO RODRIGUEZ argitalpenak

2007

  1. Técnicas y prácticas en la pruebas del software

    Técnicas cuantitativas para la gestión en la ingeniería del software (Oleiros (La Coruña) : Netbiblo, [2007), pp. 43-68

2003

  1. Generación automática y paralela de entornos en la verificación de componentes software

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003

2002

  1. Software process to specify and verify reactive systems. Process and context generation

    6th World Multi-Conference on Systemics, Cybernetics and Informatics, vol I, Proceedings

2001

  1. Generación de restricciones del entorno para verificación modular utilizando reglas de asociación

    JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)

2000

  1. Translating SA/RT models to synchronous reactive systems: An approximation to modular verification using the SMV model checker

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 (Departamento de Informática), pp. 53-58

1997

  1. CASE Support for Modular Verification of Synchronous Reactive Systems

    2nd International ERCIM WORKSHOP on Formal Methods for Industrial Critical Systems

  2. Enseñanza práctica de Ingeniería del Software mediante la colaboración de alumnos de diferentes cursos

    III Jornadas de Enseñanza Universitaria de Informática

1996

  1. Dynamic analysis of SA/RT models using SPIN and modular verification

    2nd. Workshop on the SPIN Verification System