Navegación

Búsqueda

Búsqueda avanzada

Sesión 1. Testing and stream processing

Listado de artículos correspondientes a la sesión:

  1. Towards a formal framework for analyzing stream processing systems in Maude (Trabajo en progreso)
    Adrián Riesco / Miguel Palomino / Narciso Martí-Oliet / 
  2. A Tool for Black-Box Testing in a Multilanguage Verification Platform (Trabajo en progreso)
    Marta Aracil / Pedro García / Ricardo Peña / 
  3. Type Checking and Testing of SPARQL Queries (Trabajo en progreso)
    Jesús M. Almendros-Jiménez / Antonio Becerra-Terón /