Tejiendo efímeras líneas y sombras : movilidad, corporalidad y visualidad durante la percepción de rutas en bicicleta por el sistema de tránsito en Lima Metropolitana

La investigación explora en las relaciones, tensiones y disputas que emergen en la singularidad y problemas del tráfico vehicular, durante el posicionamiento de los ciclistas del colectivo de ‘Lima Fixied Mafia’, a lo largo del sistema de tránsito, del lugar etnográfico de ‘Lima urbanizada’. Para la investigación se consideran los aspectos humanos y no humanos (máquinas) como determinantes de la constitución de lo social, pues las bicicletas, al definir la forma de moverse, permite también estudiar cómo las formas de movilidad encarnada, permiten generar relaciones y asociaciones significativas entre sujetos que comparten un perfil sensorial, u orden cultural de los sentidos. El marco interpretativo de la presente investigación reflexiona a partir de la teoría fenomenológica del embodiment y el nuevo paradigma de la movilidad, a través de la etnografía visual. Considerando el entorno urbano, se presentan además doce cartografías producto del trabajo de campo que se desarrolla a partir del diseño metodológico de la etnografía sensorial, así como el video-tour, los mismos que permitieron la realización del documental etnográfico, donde se presenta el posicionamiento, las formas y aspectos propios de la socialización del colectivo de ciclistas, y su relación con el sistema de tránsito de las zonas céntricas de la capital del Perú.Tesi

El hombre trágico en el cine : análisis de los films Zorba el griego y Fight Club, desde la experiencia y visión del saber trágico

Los hombres de cada civilización han adoptado distintas posturas y han desarrollado elaboradas cosmovisiones con el fin de dar un sentido y a veces un alivio, al sinsentido y conjunto de aporías que surgen cuando el ser humano, a través de sus propios medios y vivencias, ve lo frágil y finita de su condición en el lugar y el tiempo que le tocó vivir. El sentimiento que nos embarga y el pensamiento que sobre ese sentimiento elaboramos, en cuanto nos percatamos de nuestra finita condición y nos negamos a resignarnos ante esta realidad, es lo que definimos aquí como “lo trágico”Tesi

Applying System Families Concepts to Requirements Engineering Process Definition

In this paper, some experiences gained during the definition of a unified, common software development process for several companies in Telvent are presented. Last year, Telvent made the decision of developing a unique software development process which was flexible enough to be adapted to specific practices and needs of the different companies. In this paper we focus mainly on the experiences gained during the definition of the requirements engineering process, al-though many of them are also applicable to other software development processes. One of the most interesting experiences from our point of view is that, al-though the definition process was started using a top-down approach and well-know techniques like data flow diagrams, we eventually end up applying requirements engineering techniques like glossaries, scenarios or conflict resolu-tion for the definition of the requirements engineering process itself. On the other hand, the need of having adaptable processes for the different companies in Tel-vent made us adopt a process family approach, i.e. adopting an approach similar to the system families development, thus defining a core process that could be adapted to specific needs of specific companies in a predefined, controlled man-ner. The experiences gained in the definition of the process family were applied to the definition of requirements engineering process for product line development, which is briefly presented in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–01Ministerio de Energía, Turismo y Agenda Digital ITEA ip00004Ministerio de Economía y Competitividad Eureka Σ! 202

An Automated Approach for Verification of Software Requirements

In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically verify some desired quality properties. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.Comisión Interministerial de Ciencia y Tecnología (CICYT) GEOZOCO TIC 2000–1106–C02–0

Performance Metamorphic Testing: Motivation and Challenges

Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the performance of a program under a certain workload is either acceptable or poor due to a performance bug. Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting the relations (so–called metamorphic relations) between the inputs and outputs of multiple executions of the program under test. In the last two decades, metamorphic testing has been successfully used to detect functional faults in a variety of domains, ranging from web services to simulators. However, the applicability of metamorphic testing to detect performance bugs is a topic that remains unexplored. In this vision paper, we introduce Performance Metamorphic Relations (PMRs) as expected relations between the performance measurements of multiple executions of the program under test. We hypothesize that these relations can be turned into assertions for the automated detection of performance bugs removing the need for complex benchmarks and domain experts guidance. As a further benefit, PMRs can be turned into fitness functions to guide search-based techniques on the generation of test data that violate the relations, revealing bugs. This novel idea is motivated with examples and an overview of some of the challenges in this promising topic.Comisión Interministerial de Ciencia y Tecnología TIN2015-70560-RMinisterio de Economía, Industria y Competitividad TIN2015-71841-REDJunta de Andalucía P12-TIC-186

Using Constraint Programming for the Automatic Detection of Conflicts in Quality Requirements

Requirements negotiation is quite an interesting, ongoing research area. Current requirements engineering models usually propose a negotiation process with similar methods and goals. Unfortunately, only a few have partial automatic support. in this paper, we revisit one of the most mature models, Boehm’s Win–Win model. Win–Win is a qualitative, process–oriented model so that it is specially suited to be used at the early stages of requirements engineering, when knowledge about requirements is still vague, but not for quantitative, product–oriented contexts where a more precise, exact knowledge about the requirements is needed. in this paper, we present a proposal to extend and refine Win–Win in order it can be used in product–oriented contexts. The main benefit of our approach is that the same conceptual model for requirements negotiation can be used during all software development process, instead of using different models in different phasesComisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0

A Template–Based Approach to Describing Metamorphic Relations

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we observed a great variability in the way metamorphic relations are described, typically in an informal manner using natural language. We noticed that the lack of a standard mechanism to describe metamorphic relations often makes them hard to read and understand, which hinders the widespread adoption of the technique. In this paper, we propose a template–based approach for the description of metamorphic relations. The proposed template aims to ease communication among practitioners as well as to contribute to research dissemination. Also, it provides a helpful guide for those approaching metamorphic testing for the first time. For the validation of the approach, we used the proposed template to describe 17 previously published metamorphic relations from different domains and groups of authors, without finding expressiveness problems. We hope that this work eases the diffusion and adoption of metamorphic testing, contributing to the progress of this thriving testing technique.Comisión Interministerial de Ciencia y Tecnología TIN2015-70560-RJunta de Andalucía P12-TIC-186

Identificación de Patrones de Reutilización de Requisitos de Sistemas De Información

Comisión Interministerial de Ciencia y Tecnología TIC 97–0593–C05–0

An XML-Based Approach for the Automatic Verification of Software Requirements Specifications

In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language not only to automatically generate requirements documents, but also to verify some desired quality properties and to automatically compute some metrics. These ideas have been implemented in REM, an experimental requirements management tool that is also described in this paper.Comisión Interministerial de Ciencia y Tecnología TIC 2000–1106–C02–0