- -

Listar por palabra clave "Semántica"

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

Listar por palabra clave "Semántica"

Ordenar por:Orden:Resultados:

  • thumb
    Aplicación de tecnologías semánticas en la web para la catalogación de productos en el sector del mueble. SEMCONCEPT 
    Jordá Albiñana, María Begoña; Magal Royo, Teresa; Lozano Suaza, Rodrigo; Abián-Pérez, Miguel Ángel (Publicaciones DYNA, 2015)
    [EN] The development of web applications for the cataloguing of industrial products is an important process for logistic services and on-line sales on a global level. The need to develop intelligent settings based on ...
  • thumb
    Desarrollo metodológico de un entorno de búsqueda semántico para el sector del mueble. El proyecto SEMCONCEPT 
    Jorda-Albiñana, Begoña; Magal Royo, Teresa; Abián-Pérez, Miguel Ángel; Lozano-Suaza, Rodrigo (Publicaciones DYNA, 2016)
    [EN] The evolution of online environments and web applications has discovered the real need to create specialized semantic ontology for industrial products in a particular sector. This will improve and guide the exploration ...
  • thumb
    Ejecución simbólica como herramienta de análisis 
    Pardo Pont, Daniel (Universitat Politècnica de València, 2015-03-25)
    [ES] El análisis automático de software permite verificar que un programa cumpla una serie de propiedades deseables sin intervención humana, aportando agilidad al proceso de ingeniería y reduciendo los riesgos del software ...
  • thumb
    Estrategias de evaluación 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2016-05-04)
    En este vídeo se presentan las estrategias de evaluación más importantes de los lenguajes de programación funcional, concretamente la estrategia de evaluación impaciente y la estrategia de evaluación perezosa.
  • thumb
    La Semántica de los Lenguajes de Programación 
    Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2020-06-18)
    Este objeto de aprendizaje define la semántica de los lenguajes de programación. Explica qué es y para qué sirve una semántica y muestra ejemplos de semánticas. También se propone un ejercicio para realizar, que se soluciona ...
  • thumb
    Modelo operacional 
    Vidal Oriola, Germán Francisco (Universitat Politècnica de València, 2016-05-04)
    En este vídeo se presentan los fundamentos del modelo operacional que subyace en la mayoría de los lenguajes de programación funcional.
  • thumb
    Regression Test-Driven Extension of PLEXIL5: Support for Arrays 
    Jiménez Martí, Alejandro (Universitat Politècnica de València, 2023-09-27)
    [EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...