[EN] Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point (the slicing criterion). Computing minimal slices is undecidable in ...
[EN] Context
In software engineering, taking a good election between recursion and iteration is essential because their efficiency and maintenance are different. In fact, developers often need to transform iteration ...
[EN] In any alive and nontrivial program, the source code naturally evolves along the lifecycle for many reasons such as the implementation of new functionality, the optimization of a bottleneck, or the refactoring of an ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2021-06-17)
Este vídeo explica qué son las etiquetas DIV y las capas HTML. A través de ejemplos prácticos, utilizando Dreamweaver, se crea una página Web con varias etiquetas DIV y se modifican sus propiedades HTML para mostrar la ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2016-07-04)
El objeto de aprendizaje explica con ejemplos las diferencias existentes entre los distintos tipos de cobertura. Al final del video, se propone un ejercicio que el alumno puede hacer, y que finalmente se resuelve.
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2018-06-11)
Este objeto de aprendizaje contiene una introducción a la coerción. Se explica qué es la coerción y para qué sirve. También se explican los tipos de coerción y se da un ejemplo de cada uno de ellos.
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2024-06-10)
Este video explica qué es el testeo concólico (del anglicismo "concolic testing"), para qué sirve y cómo se utiliza en la generación de casos de test. Se explica cómo generar casos de prueba con esta técnica.
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2019-05-30)
Este objeto de aprendizaje explica los conceptos de concurrencia y paralelismo en el contexto de los lenguajes de programación. Se explican cada uno de ellos individualmente y a continuación se explica la relación existente ...
López Romero, Sergio; Silva Galiana, Josep Francesc; Insa Cabrera, David(IPN, Centro de Innovación y Desarrollo Tecnológico en Cómputo, 2012-06)
This article introduces a new approach for content
extraction that exploits the hierarchical inter-relations of the
elements in a webpage. Content extraction is a technique used
to extract from a webpage the main textual ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2020-06-18)
Este objeto de aprendizaje define una transformación de programas sencilla: la conversión de bucles iterativos en recursivos. Primero se explican los dos tipos de bucles y su relación. A continuación, se describe la ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2016-07-04)
Este objeto de aprendizaje está destinado a profesores que quieran utilizar el sistema ASys para corregir ejercicios. En particular, se explica cómo funciona el sistema ASys, y cómo utilizarlo para crear baterías de ejercicios.
[ES] La evaluación es una parte fundamental de la enseñanza. Permite tanto a los estudiantes como a los profesores medir el grado de éxito obtenido en el proceso de aprendizaje. De hecho, la evaluación no debería usarse ...
Fuentes Galán, Guillem(Universitat Politècnica de València, 2018-09-06)
[ES] Un equipo de profesores de la Escola Tècnica Superior d'Enginyeria Informàtica
(ETSINF) ha desarrollado una aplicación de escritorio llamada ASys capaz de
diseñar plantillas de corrección personalizadas para corregir ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2016-07-05)
Este objeto de aprendizaje describe cómo funciona la creación de ejercicios de programación (o exámenes) auto-evaluables con el sistema ASys. En el video se crea un ejercicio que es capaz de evaluar automáticamente cuatro ...
Este video explica qué es la aplicación parcial de funciones en un lenguaje de programación. También explica su utilidad a través de ejemplos. El video contiene un pequeño ejercicio para resolver.
Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep(ACM, 2020-11-19)
[EN] The System Dependence Graph (SDG) is a program representation used in several static analyses. In particular, it is
the basis of program slicing, a technique that extracts the
part of the program that may directly or ...
[EN] Requirements elicitation is concerned with learning and understanding of users w.r.t. a new software development. Frequently the methods employed for requirements elicitation are adapted from areas like social sciences ...
Silva Galiana, Josep Francesc(Universitat Politècnica de València, 2017-06-30)
Este objeto de aprendizaje proporciona una introducción a la depuración algorítmica. Explica qué es la depuración algorítmica y cómo funciona a través de un ejemplo. Para ello, se da una introducción también a los árboles ...