Listar LCC - Conferencias Científicas por título
Mostrando ítems 28-47 de 60
-
Experiencia con una herramienta de pruebas de caja negra para el aprendizaje de asignaturas de programación en evaluación continua
(2017-07-12)La programación es una de las materias requeridas en la gran mayoría de los grados actuales con perfil tecnológico, siendo un aspecto crítico en cualquiera de los Grados en Ingeniería Informática. Aprender a programar requiere ... -
Formal Model-Based Approaches for the Development of Composite
(2014-04-29)Software engineering (SE) is concerned about techniques and tools to develop software pieces. Structuring and composition techniques have always been a cornerstone in software engineering, from modules in the 70’s to the ... -
Un Framework para Big Data Optimization Basado en jMetal y Spark
(2016)Las metaheurísticas multi-objetivo se han convertido en técnicas muy utilizadas para la resolución de problemas complejos de optimización compuestos de varias funciones objetivo en conflicto entre sí. Nos encontramos en ... -
Generic proof scores for the generate & check method in CafeOBJ
(2015-03-11)Generic proof scores for the generate & check method in CafeOBJ are presented. The generic proof scores codify the generate & check method as parameterized modules in the CafeOBJ language independently of specific systems ... -
Hacia la docencia “cloud-first” en la ingeniería de software
(2018-11-26)En 2007, no existían ni la computación en la nube como hoy la conocemos, ni los smartphones cuyo arquetipo es el iPhone de Apple. Apenas una década más adelante, Amazon Web Services controla la tercera parte de un mercado ... -
How to increase efficiency with the certification of process compliance
(2017-03-09)Certification as well as self-assessment of safety-critical systems is an expensive and time-consuming activity due to the necessity of providing numerous deliverables. These deliverables can be process-related or ... -
Injecting domain knowledge in multi-objective optimization problems: A semantic approach
(Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos, 2022-09-05)In the field of complex problem optimization with me-taheuristics, semantics has been used for modeling different aspects, such as: problem characterization, parameters, decision-maker's preferences, or algorithms. However, ... -
Los Intangibles en el Diseño de Sistemas de Ayuda a la Decisión.
(2016-06-03)El interés por los intangibles empezó a partir de la crisis reputacional de finales de siglo XX, que tuvo un impacto tremendo en Estados Unidos. Los casos de Enron, Tyco, Ahold, y Arthur Andersen pusieron de manifiesto la ... -
Introducción a la doble narrativa videolúdica
(2015-10-20)Los medios narrativos interactivos, entre ellos los jugables, se distinguen de los tradicionales por las relaciones que se dan entre las dos narrativas que los conforman. Para establecer y tutorar dichas relaciones nace ... -
Juégame un cuento
(2014-10-24)Como diseñadores, programadores, artistas o (incluso) guionistas, ¿qué debemos hacer para evitar que el guion de un videojuego se convierta en una pesadilla? ¿El mejor guionista es el que mejor escribe? ¿Cuánto cuesta ... -
Lenguajes de dominio específico
(2019-11-21)En esta charla introduce el concepto de Lenguaje Específico de Dominio (Domain-Specific Language; DSL). El objetivo es motivar la utilidad de los DSLs como mecanismo para poder elevar el nivel de abstracción en el desarrollo ... -
Model integration and decision-making for self-adaptation in mobile robotics
(2019-11-22)Software Engineering today is increasingly faced with the challenge of creating systems that involve both software and physical systems -- or CPS -- from robotic systems, to autonomous vehicles, to increasingly sophisticated ... -
Multi-Objective Big Data Optimization with jMetal and Spark
(2017-04-20)Big Data Optimization is the term used to refer to optimization problems which have to manage very large amounts of data. In this paper, we focus on the parallelization of metaheuristics with the Apache Spark cluster ... -
La música en los videojuegos.
(2014-11-17)Desde la experiencia del ponente, se expondrá contenido teórico acompañado de ejemplos prácticos con el fin de valorar e introducir al asistente/alumnado en el apartado sonoro aplicado al videojuego. -
Non-Functional Properties in Service Selection
(2014-04-29)Service selection is an important step of the service composition process. Multiple services functionally equivalent might be offered by different providers but characterized by different non functional properties such as ... -
On the Verification of Asynchronously Communicating Systems
(2014-04-29)Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ... -
Parallel Hybrid Trajectory Based Metaheuristics for Real-World Problems
(2015-09-10)This paper proposes a novel algorithm combining path relinking with a set of cooperating trajectory based parallel algorithms to yield a new metaheuristic of enhanced search features. Algorithms based on the exploration ... -
Pixel Features for Self-organizing Map Based Detection of Foreground Objects in Dynamic Environments
Among current foreground detection algorithms for video sequences, methods based on self-organizing maps are obtaining a greater relevance. In this work we propose a probabilistic self-organising map based model, which ... -
Problemas matemáticos sin resolver que cualquier niño puede entender
(2016-07-20)Un lastre que incide en el rechazo a las matemáticas es su imagen de ser una ciencia inerte, sin nada por descubrir y limitada a unos pocos expertos. Esta charla pretende mostrar que la investigación en matemáticas está ... -
Procesamiento de eventos complejos aplicado al ámbito de las smart cities
(2017-02-22)El procesamiento de eventos complejos (CEP) es una tecnología emergente que permite procesar, analizar y correlacionar ingentes volúmenes de datos con el fin de detectar en tiempo real situaciones críticas o relevantes ...