11 resultados para Symbolic Execution
em BORIS: Bern Open Repository and Information System - Berna - Suiça
Resumo:
This paper explores the significance of ‘life-worlds’ for better understanding why farmers adopt or reject soil conservation measures and for identifying basic dimensions to be covered by social learning processes in Swiss agricultural soil protection. The study showed that farmers interpret soil erosion and soil conservation measures against the background of their entire life-world. By doing so, farmers consider abstract and symbolic meanings of soil conservation. This is, soil conservation measures have to be feasible and practical in the everyday farming routine, however, they also have to correspond with their aesthetic perception, their value system and their personal and professional identities. Consequently, by switching to soil conservation measures such as no-tillage farmers have to adapt not only the routines of their daily farming life, but also their perception of the aesthetics of cultivated land, underlying values and images of themselves. Major differences between farmers who adopt and farmers who reject no-tillage were found to depend on the degree of coherence they could create between the abstract and symbolic meanings of the soil conservation measure. From this perspective, implementation of soil protection measures faces the challenge of facilitating interactions between farmers, experts and scientists at a ‘deeper’ level, with an awareness of all significant dimensions that characterise the life-world. The paper argues that a certain level of shared symbolic meaning is essential to achieving mutual understanding in social learning processes.
Resumo:
The present study investigated the role of the right posterior parietal cortex (PPC) in the triggering of memory-guided saccades by means of double-pulse transcranial magnetic stimulation (dTMS). Shortly before saccade onset, dTMS with different interstimulus intervals (ISI; 35, 50, 65 or 80 ms) was applied. For contralateral saccades, dTMS significantly decreased saccadic latency with an ISI of 80 ms and increased saccadic gain with an ISI of 65 and 80 ms. Together with the findings of a previous study during frontal eye field (FEF) stimulation the present results demonstrate similarities and differences between both regions in the execution of memory-guided saccades. Firstly, dTMS facilitates saccade triggering in both regions, but the timing is different. Secondly, dTMS over the PPC provokes a hypermetria of contralateral memory-guided saccades that was not observed during FEF stimulation. The results are discussed within the context of recent neurophysiological findings in monkeys.
Resumo:
Writing unit tests for legacy systems is a key maintenance task. When writing tests for object-oriented programs, objects need to be set up and the expected effects of executing the unit under test need to be verified. If developers lack internal knowledge of a system, the task of writing tests is non-trivial. To address this problem, we propose an approach that exposes side effects detected in example runs of the system and uses these side effects to guide the developer when writing tests. We introduce a visualization called Test Blueprint, through which we identify what the required fixture is and what assertions are needed to verify the correct behavior of a unit under test. The dynamic analysis technique that underlies our approach is based on both tracing method executions and on tracking the flow of objects at runtime. To demonstrate the usefulness of our approach we present results from two case studies.