- -

Informes técnicos y otro material de investigación

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Refinar

Informes técnicos y otro material de investigación

 
 

En esta comunidad se listan las subcomunidades que albergan documentos de trabajo, informes técnicos y otro material de investigación realizado por los investigadores de la Universitat Politècnica de València en el desarrollo de sus investigaciones.

Subcomunidades en esta comunidad

Colecciones en esta comunidad

Envíos recientes

  • thumb
    Abstract Contract Synthesis and Verification in the Symbolic K Framework 
    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia
    In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...
  • thumb
    Static Correction of Maude Programs with Assertions 
    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that ...
  • thumb
    I.G. 
    Hernández-Orallo, José
    This report summarises the key ideas for a simple concept of I.G. and its explanatory value for several areas.
  • thumb
    PROGRESO 
    Puerta Gómez, María Felicia; Puerta Gómez, María Felicia (2017-05)
    La obra de Progreso y Progreso mismo, constituyen un modelo de trayectoria profesional digno de admiración y reconocimiento, para lo que la Universitat de Valencia, a través de su Vicedecanato de Cultura ha querido homenajear ...
  • thumb
    Felicia Puerta. Octubre del 2017 
    Puerta Gómez, María Felicia (2017-10)
    Esta publicación editada por el Museo Arqueológico de Alarcón, recoge la serie de pinturas realizada para la exposición “OCTUBRE DEL 2017”, de Felicia Puerta expresamente producida para el museo; incluye textos introductorios ...

Ver más