Fehlersuche im Modell - Modellbasiertes Testen und Debuggen

Kern der vorliegenden Arbeit ist die Erforschung von Methoden, Techniken und Werkzeugen zur Fehlersuche in modellbasierten Softwareentwicklungsprozessen. Hierzu wird zuerst ein von mir mitentwickelter, neuartiger und modellbasierter Softwareentwicklungsprozess, der sogenannte Fujaba Process, vorgestellt. Dieser Prozess wird von Usecase Szenarien getrieben, die durch spezielle Kollaborationsdiagramme formalisiert werden. Auch die weiteren Artefakte des Prozess bishin zur fertigen Applikation werden durch UML Diagrammarten modelliert. Es ist keine Programmierung im Quelltext nötig. Werkzeugunterstützung für den vorgestellte Prozess wird von dem Fujaba CASE Tool bereitgestellt. Große Teile der Werkzeugunterstützung für den Fujaba Process, darunter die Toolunterstützung für das Testen und Debuggen, wurden im Rahmen dieser Arbeit entwickelt. Im ersten Teil der Arbeit wird der Fujaba Process im Detail erklärt und unsere Erfahrungen mit dem Einsatz des Prozesses in Industrieprojekten sowie in der Lehre dargestellt. Der zweite Teil beschreibt die im Rahmen dieser Arbeit entwickelte Testgenerierung, die zu einem wichtigen Teil des Fujaba Process geworden ist. Hierbei werden aus den formalisierten Usecase Szenarien ausführbare Testfälle generiert. Es wird das zugrunde liegende Konzept, die konkrete technische Umsetzung und die Erfahrungen aus der Praxis mit der entwickelten Testgenerierung dargestellt. Der letzte Teil beschäftigt sich mit dem Debuggen im Fujaba Process. Es werden verschiedene im Rahmen dieser Arbeit entwickelte Konzepte und Techniken vorgestellt, die die Fehlersuche während der Applikationsentwicklung vereinfachen. Hierbei wurde darauf geachtet, dass das Debuggen, wie alle anderen Schritte im Fujaba Process, ausschließlich auf Modellebene passiert. Unter anderem werden Techniken zur schrittweisen Ausführung von Modellen, ein Objekt Browser und ein Debugger, der die rückwärtige Ausführung von Programmen erlaubt (back-in-time debugging), vorgestellt. Alle beschriebenen Konzepte wurden in dieser Arbeit als Plugins für die Eclipse Version von Fujaba, Fujaba4Eclipse, implementiert und erprobt. Bei der Implementierung der Plugins wurde auf eine enge Integration mit Fujaba zum einen und mit Eclipse auf der anderen Seite geachtet. Zusammenfassend wird also ein Entwicklungsprozess vorgestellt, die Möglichkeit in diesem mit automatischen Tests Fehler zu identifizieren und diese Fehler dann mittels spezieller Debuggingtechniken im Programm zu lokalisieren und schließlich zu beheben. Dabei läuft der komplette Prozess auf Modellebene ab. Für die Test- und Debuggingtechniken wurden in dieser Arbeit Plugins für Fujaba4Eclipse entwickelt, die den Entwickler bestmöglich bei der zugehörigen Tätigkeit unterstützen.

¿Renovación, crisis o más de lo mismo? La revocatoria de mandato en los gobiernos locales latinoamericanos

In the public agenda in Latin America recall has gained of importance since the controversies generated by the votes in Venezuela (2004) and Bolivia (2008) in order to recall Presidents Hugo Chavez and Evo Morales, respectively (both attempts failed). However, it is on the local level where this institution got activated  most frequently and where it could be responsible for major political changes. In  this article, we analyze the introduction, use and consequences of the recall on  the local level in Bolivia, Colombia, Ecuador, Peru and Venezuela. We briefly  discuss recall in the light of the current debate on representative democracy and its adoption as a mechanism of direct democracy (MDD) from ‘bottom-up’, initiated  by the citizens. Furthermore, we describe the context under which MDDs have proliferated in various places of the world. More specifically, we then continue  to explore where and in which context in Latin America recall was promoted  as an element of participatory democracy. Finally, we com  up with tentative conclusions about the potential and risks involved with this particular mechanism of direct democracy.

Las marcas propias de productos alimenticios y su impacto en el momento de compra: caso de análisis en la cadena minorista éxito de la ciudad de Bogotá

Esta investigación se va a enfocar principalmente en el comportamiento del consumidor final con relación a la compra de una marca propia. Estas han tenido un gran crecimiento en el país lo cual ha creado una nueva tendencia de compra para los consumidores colombianos. Según un estudio de “El poder de las marcas privadas” se establece que Colombia se cataloga como uno de los 10 países con un crecimiento más rápido a nivel mundial. Aunque, el mercado de marcas privadas esté en crecimiento, existen diversos factores como los ingresos de los individuos, el riesgo percibido y la calidad percibida del producto que influyen drásticamente en la elección de estas marcas con respecto a las reconocidas. El problema que se va a desarrollar en la presente investigación es conocer detalladamente cuál es el impacto que tienen las marcas propias de acuerdo con los ingresos de los individuos la percepción de riesgo y calidad que tiene el consumidor final a la hora de tomar la decisión de comprar una marca propia a una marca reconocida de productos alimenticios en la cadena minorista Éxito en la ciudad de Bogotá – Colombia? Esta investigación busca, mediante la aplicación de la teoría y los conceptos básicos del comportamiento del consumidor encontrar explicaciones y soluciones para las cadenas minoristas que fabrican marcas propias, ofreciéndoles sugerencias para que sus estrategias de mercadeo en la venta de marcas propias sean exitosas y aceptadas por el consumidor final y el mercado.

Innovación en tecnologías digitales

Los videojuegos ya no deberían ser vistos como el dominio exclusivo de adolescentes, sino más bien como parte de una corriente comercial, de hecho su impacto en la sociedad es de gran alcance. Por ejemplo, las innovaciones líderes en el área de diseño de procesadores, gráficos y la inteligencia artificial están siendo impulsados por la industria de los videojuegos, de esta manera es posible que en la actualidad el software del juego se utilice para entrenar a los soldados para la batalla, y entrenar a los pilotos en los controles de vuelo y de navegación. (Wesley & Balzac, 2010)

Observatorio del acuerdo comercial alianza pacífico en Colombia: oportunidades de exportación para Colombia a Chile, México y Perú

El desarrollo del presente proyecto de investigación, identifica, consolida, analiza datos económicos y el comportamiento del comercio exterior de Colombia, Chile, Perú y México dentro de la evolución del Acuerdo Alianza Pacífico durante los años 2011 - 2013. El estudio permitirá tener una visión más concreta, sobre la viabilidad que este bloque comercial representa para Colombia y mostrará cual ha sido el desempeño del país dentro del acuerdo con base a las exportaciones e importaciones efectuadas con los demás países miembros de la alianza. A lo largo del estudio, se analizará la balanza comercial de los treinta y dos (32) departamentos colombianos con los países miembros del acuerdo Alianza del Pacifico (Chile, México y Perú) entre 2011 – 2013. A partir de la obtención y análisis de resultados de tipo cuantitativo y cualitativo como el valor las exportaciones e importaciones, se hace un diagnóstico del comportamiento de la comercialización de productos por parte de los departamentos con destino y desde de Chile, México y Perú. Este análisis nos permitirá identificar cuáles son los bienes de mayor exportación y su participación dentro de las transacciones comerciales del acuerdo Alianza Pacifico. Con base a los datos que se recopilen, será posible analizar la situación y el papel que juega Colombia actualmente dentro del acuerdo y así identificar así las oportunidades, debilidades y posibles consecuencias, producto de la firma de este tratado. Finalmente, con la presente investigación se buscará iniciar el Observatorio del Acuerdo Alianza Pacifico, el cual se creará con fines investigativos, facilitando el seguimiento a la evolución de dicho acuerdo. A través del observatorio se lograra saber cuáles son los comportamientos en materia económica, tales como balanza comercial, inversión extranjera, movilidad, entre otros de este bloque de integración. Adicionalmente, será posible y analizar el comportamiento de los principales sectores económicos y los departamentos involucrados en este proceso, en términos comerciales.

Desarrollo y posicionamiento de productos mediante la relación estratégica comunitaria y el marketing

En este proyecto se determinara cómo se realiza el desarrollo y el posicionamiento de productos mediante la relación estratégica comunitaria y el marketing. A lo largo del tiempo se han venido observando diferentes cambios en el marketing. Anteriormente este era visto como un vínculo entre los procesos sociales y económicos más que como un conjunto de actividades que buscan satisfacer las necesidades del cliente. Por medio del marketing, las organizaciones se enfocaron en la importancia de ofrecer productos altamente competitivos los cuales satisficieran las necesidades de cada uno de los clientes con el fin de generar productos únicos, con una buena posición en el mercado y que no fueran remplazados por su competencia. Es por esto que ofrecían productos con estándares de alta calidad, disminuyendo costos de producción y tiempo para implementarlos en el mercado y satisfacer la demanda de los clientes. Hoy en día, los mercados están saturados es por esto que es de suma importancia que el cliente se encuentre satisfecho con el producto para que vuelva a comprarlo y se cree una relación perdurable y satisfactoria tanto para la compañía como para el cliente. Por este motivo las organizaciones que tengan la capacidad de innovar ya sea mejorando uno ya existente o creando uno totalmente nuevo serán más reconocidas por los consumidores, y así podrán desarrollar productos con precios elevados incrementando su rentabilidad. El marketing relacional tiene una visión un poco más amplia, la cual explica que así como la fidelización de los clientes es importante para una compañía, se debe tener en cuenta a todo el personal que trabaja en esta para mantenerlo satisfecho y crear confianza entre el vendedor y el cliente. En este proyecto utilizamos un enfoque cuantitativo siendo un estudio de tipo teórico-conceptual, seleccionando las bases de datos, las fuentes de información y los documentos más representativos o que proporcionen la máxima información. El proyecto se sitúa dentro del grupo de investigación en perdurabilidad empresarial, en la línea de gerencia, para lograr identificar oportunidades que privilegien a las organizaciones, y en el proyecto de relación de las organizaciones con el medio y marketing.

Eficacia de la estimulación magnética transcraneal en la disminución de severidad en el trastorno depresivo mayor en monoterapia y coadyuvante comparado con tratamientos farmacológicos. Revisión sistemática y meta-análisis

Resumen Introducción Una posible opción de tratamiento para el manejo del trastorno depresivo mayor (TDM) es la estimulación magnética transcraneal (EMT) que ha mostrado propiedades antidepresivas superiores al placebo con un buen perfil de seguridad. El objetivo del presente trabajo es determinar la reducción en la severidad del TDM y la proporción de eventos adversos (EA) en pacientes con TDM refractario y no refractario, posterior al uso de EMT administrada en monoterapia o tratamiento coadyuvante comparado con terapia farmacológica. Metodología Se planteó una pregunta PICOT de la cual se realizó una búsqueda sistemática de estudios clínicos en las bases de datos Medline, EMBASE y Cochrane. Dos investigadores en forma independiente realizaron la selección de artículos, evaluación de calidad con la herramienta de la colaboración Cochrane y extracción de datos. Se extrajeron datos de eficacia como tasa de respuesta, porcentaje de remisión, calidad de vida, diminución sintomática del trastorno depresivo mayor en la escala de Hamilton y capacidad funcional. Igualmente, proporción de pacientes con EA. Se realizó un meta-análisis de estas variables teniendo en cuenta la heterogeneidad. Resultados La presente revisión sistemática incluyó 26 estudios clínicos aleatorizados de baja calidad metodológica mostrando que la EMT presentó una eficacia superior cuando es usada como coadyuvante a las terapias con que venían siendo tratados los pacientes con TDM refractario y no refractario en los desenlaces de tasa de respuesta y porcentaje de remisión. En el caso de intervenciones farmacológicas específicas, la EMT presento eficacia similar, tanto en terapia coadyuvante como en monoterapia comparado con las intervenciones farmacológicas. En cuanto a seguridad, la EMT presenta un buen perfil de seguridad debido a que en todos los escenarios estudiados los EA fueron no serios y baja frecuencia Conclusiones La evidencia disponible sugiere que la EMT mostró ser efectivo y seguro para el manejo del TDM refractario y no refractario. Sin embargo, la evidencia es débil por lo tanto se necesita mayor investigación clínica que soporte su uso.

Failure to regulate: counterproductive recruitment of top-down prefrontal-subcortical circuitry in major depression

Although depressed mood is a normal occurrence in response to adversity in all individuals, what distinguishes those who are vulnerable to major depressive disorder (MDD) is their inability to effectively regulate negative mood when it arises. Investigating the neural underpinnings of adaptive emotion regulation and the extent to which such processes are compromised in MDD may be helpful in understanding the pathophysiology of depression. We report results from a functional magnetic resonance imaging study demonstrating left-lateralized activation in the prefrontal cortex (PFC) when downregulating negative affect in nondepressed individuals, whereas depressed individuals showed bilateral PFC activation. Furthermore, during an effortful affective reappraisal task, nondepressed individuals showed an inverse relationship between activation in left ventrolateral PFC and the amygdala that is mediated by the ventromedial PFC (VMPFC). No such relationship was found for depressed individuals, who instead show a positive association between VMPFC and amygdala. Pupil dilation data suggest that those depressed patients who expend more effort to reappraise negative stimuli are characterized by accentuated activation in the amygdala, insula, and thalamus, whereas nondepressed individuals exhibit the opposite pattern. These findings indicate that a key feature underlying the pathophysiology of major depression is the counterproductive engagement of right prefrontal cortex and the lack of engagement of left lateral-ventromedial prefrontal circuitry important for the downregulation of amygdala responses to negative stimuli.

Effects of trauma exposure on the cortisol response to dexamethasone administration in PTSD and major depressive disorder

Objective: To evaluate cortisol suppression following 0.5 mg of dexamethasone (DEX) in trauma survivors (N = 52),with posttraumatic stress disorder (PTSD), major depressive disorder (MDD), both, or neither disorder, and in subjects never exposed to trauma (N = 10), in order to examine interactions between diagnosis and trauma history on cortisol negative feedback inhibition. Method: Lifetime trauma exposure and psychiatric diagnoses were assessed and blood samples were obtained at 8:00 a.m. for the determination of baseline cortisol. Participants ingested 0.5 mg of DEX at 11:00 p.m. and blood samples for determination of cortisol and DEX were obtained at 8:00 a.m. the following day. Results: PTSD was associated with enhanced cortisol suppression in response to DEX Among trauma survivors, the presence of a traumatic event prior to the "focal" trauma had a substantial impact on cortisol suppression in subjects with MDD. Such subjects were more likely to show cortisol alterations similar to those associated with PTSD, whereas subjects with MDD with no prior trauma were more likely to show alterations in the opposite direction, i.e. relative non-suppression. Conclusions: Cortisol hypersuppression in PTSD appears not to be dependent on the presence of traumatic events prior to the focal trauma. However, prior trauma exposure may affect cortisol suppression in MDD. This finding may have implications for understanding why only some depressed patients show non-suppression on the DST. Published by Elsevier Ltd.

Whole-brain functional connectivity during emotional word classification in medication-free Major Depressive Disorder: abnormal salience circuitry and relations to positive emotionality

Major Depressive Disorder (MDD) has been associated with biased processing and abnormal regulation of negative and positive information, which may result from compromised coordinated activity of prefrontal and subcortical brain regions involved in evaluating emotional information. We tested whether patients with MDD show distributed changes in functional connectivity with a set of independently derived brain networks that have shown high correspondence with different task demands, including stimulus salience and emotional processing. We further explored if connectivity during emotional word processing related to the tendency to engage in positive or negative emotional states. In this study, 25 medication-free MDD patients without current or past comorbidity and matched controls (n=25) performed an emotional word-evaluation task during functional MRI. Using a dual regression approach, individual spatial connectivity maps representing each subject’s connectivity with each standard network were used to evaluate between-group differences and effects of positive and negative emotionality (extraversion and neuroticism, respectively, as measured with the NEO-FFI). Results showed decreased functional connectivity of the medial prefrontal cortex, ventrolateral prefrontal cortex, and ventral striatum with the fronto-opercular salience network in MDD patients compared to controls. In patients, abnormal connectivity was related to extraversion, but not neuroticism. These results confirm the hypothesis of a relative (para)limbic-cortical decoupling that may explain dysregulated affect in MDD. As connectivity of these regions with the salience network was related to extraversion, but not to general depression severity or negative emotionality, dysfunction of this network may be responsible for the failure to sustain engagement in rewarding behavior.

Resting state cortico-thalamic-striatal connectivity predicts pesponse to dorsomedial prefrontal rTMS in major depressive disorder

Despite its high toll on society, there has been little recent improvement in treatment efficacy for Major Depressive Disorder (MDD). The identification of biological markers of successful treatment response may allow for more personalized and effective treatment. Here we investigate whether resting state functional connectivity predicted response to treatment with rapid transcranial magnetic stimulation (rTMS) to dorsomedial prefrontal cortex (dmPFC). Twenty five individuals with treatment-refractory MDD underwent a 4-week course of dmPFC-rTMS. Before and after treatment, subjects received resting state functional MRI scans and assessments of depressive symptoms using the Hamilton Depresssion Rating Scale (HAMD17). We found that higher baseline cortico-cortical connectivity (dmPFC-subgenual cingulate and subgenual cingulate to dorsolateral PFC) and lower cortico-thalamic, cortico-striatal and cortico-limbic connectivity were associated with better treatment outcomes. We also investigated how changes in connectivity over the course of treatment related to improvements in HAMD17 scores. We found that successful treatment was associated with increased dmPFC-thalamic connectivity and decreased sgACC-caudate connectivity, Our findings provide insight into which individuals might respond to rTMS treatment and the mechanisms through which these treatments work.

Magnetic resonance imaging of a randomized controlled trial investigating predictors of recovery following psychological treatment in adolescents with moderate to severe unipolar depression: study protocol for Magnetic Resonance - Improving Mood with Psychoanalytic and Cognitive Therapies (MR-IMPACT)

Background Major depressive disorders (MDD) are a debilitating and pervasive group of mental illnesses afflicting many millions of people resulting in the loss of 110 million working days and more than 2,500 suicides per annum. Adolescent MDD patients attending NHS clinics show high rates of recurrence into adult life. A meta-analysis of recent research shows that psychological treatments are not as efficacious as previously thought. Modest treatment outcomes of approximately 65% of cases responding suggest that aetiological and clinical heterogeneity may hamper the better use of existing therapies and discovery of more effective treatments. Information with respect to optimal treatment choice for individuals is lacking, with no validated biomarkers to aid therapeutic decision-making. Methods/Design Magnetic resonance-Improving Mood with Psychoanalytic and Cognitive Therapies, the MR-IMPACT study, plans to identify brain regions implicated in the pathophysiology of depressions and examine whether there are specific behavioural or neural markers predicting remission and/or subsequent relapse in a subsample of depressed adolescents recruited to the IMPACT randomised controlled trial (Registration # ISRCTN83033550). Discussion MR-IMPACT is an investigative biomarker component of the IMPACT pragmatic effectiveness trial. The aim of this investigation is to identify neural markers and regional indicators of the pathophysiology of and treatment response for MDD in adolescents. We anticipate that these data may enable more targeted treatment delivery by identifying those patients who may be optimal candidates for therapeutic response.

Association between serotonin 5-HT-2C receptor gene (HTR2C) polymorphisms and obesity- and mental health-related phenotypes in a large population-based cohort

OBJECTIVE: Studies have shown that common single-nucleotide polymorphisms (SNPs) in the serotonin 5-HT-2C receptor (HTR2C) are associated with antipsychotic agent-induced weight gain and the development of behavioural and psychological symptoms. We aimed to analyse whether variation in the HTR2C is associated with obesity- and mental health-related phenotypes in a large population-based cohort. METHOD: Six tagSNPs, which capture all common genetic variation in the HTR2C gene, were genotyped in 4978 men and women from the European Prospective Investigation into Cancer (EPIC)-Norfolk study, an ongoing prospective population-based cohort study in the United Kingdom. To confirm borderline significant associations, the -759C/T SNP (rs3813929) was genotyped in the remaining 16 003 individuals from the EPIC-Norfolk study. We assessed social and psychological circumstances using the Health and Life Experiences Questionnaire. Genmod models were used to test associations between the SNPs and the outcomes. Logistic regression was performed to test for association of SNPs with obesity- and mental health- related phenotypes. RESULTS: Of the six HTR2C SNPs, only the T allele of the -759C/T SNP showed borderline significant associations with higher body mass index (BMI) (0.23 kg m(-2); (95% confidence interval (CI): 0.01-0.44); P=0.051) and increased risk of lifetime major depressive disorder (MDD) (Odds ratio (OR): 1.13 (95% CI: 1.01-1.22), P=0.02). The associations between the -759C/T and BMI and lifetime MDD were independent. As associations only achieved borderline significance, we aimed to validate our findings on the -759C/T SNP in the full EPIC-Norfolk cohort (n=20 981). Although the association with BMI remained borderline significant (beta=0.20 kg m(-2); 95% CI: 0.04-0.44, P=0.09), that with lifetime MDD (OR: 1.01; 95% CI: 0.94-1.09, P=0.73) was not replicated. CONCLUSIONS: Our findings suggest that common HTR2C gene variants are unlikely to have a major role in obesity- and mental health-related traits in the general population.

Overgeneral autobiological memory in women: association with childhood abuse and history of depression in a community sample

Objective. Numerous studies have reported elevated levels of overgeneral autobiographical memory among depressed patients and also among those previously exposed to a traumatic event. No previous study has examined their joint association with overgeneral memory in a community sample, nor examined whether the associations are with both juvenile- and adult-onset depression. Methods. The current study examined the relative importance of exposure to childhood abuse and neglect in overgeneral memory of women with and without a history of major depressive disorder (MDD). Autobiographical memory test together with standardized interviews of childhood experiences and MDD were assessed in a risk-stratified community sample of 103 women aged 25–37. Results. Overgenerality in memory was associated with recalled childhood sexual abuse (CSA) but not other adversities. A history of CSA was predictive of overgeneral memory bias even in the absence of MDD. Our analyses indicated no significant association between a history of MDD and overgeneral memory in women who reported no CSA. However, overgeneral memory was increased in women who reported CSA and MDD with a significant difference found in relation to positive cues, the highest scores being seen among those with adult rather than juvenile-onset depression. Conclusions. The findings highlight the significance of CSA in predicting overgeneral memory, differential response in relation to positive and negative cue memories, and point to a specific role in the development of depression for overgeneral memory following CSA.

Investigating subtypes of reward processing deficits as trait markers for depression

Background: Anhedonia, the loss of pleasure in usually enjoyable activities, is a central feature of major depressive disorder (MDD). The aim of the present study was to examine whether young people at a familial risk of depression display signs of anticipatory, motivational or consummatory anhedonia, which would indicate that these deficits may be trait markers for MDD. Methods: The study was completed by 22 participants with a family history of depression (FH+) and 21 controls (HC). Anticipatory anhedonia was assessed by asking participants to rate their anticipated liking of pleasant and unpleasant foods which they imagined tasting when cued with images of the foods. Motivational anhedonia was measured by requiring participants to perform key presses to obtain pleasant chocolate taste rewards or to avoid unpleasant apple tastes. Additionally, physical consummatory anhedonia was examined by instructing participants to rate the pleasantness of the acquired tastes. Moreover, social consummatory anhedonia was investigated by asking participants to make preference-based choices between neutral facial expressions, genuine smiles, and polite smiles. Results: It was found that the FH+ group’s anticipated liking of unpleasant foods was significantly lower than that of the control group. By contrast, no group differences in the pleasantness ratings of the actually experienced tastes or in the amount of performed key presses were observed. However, controls preferred genuine smiles over neutral expressions more often than they preferred polite smiles over neutral expressions, while this pattern was not seen in the FH+ group. Conclusion: These findings suggest that FH+ individuals demonstrate an altered anticipatory response to negative stimuli and show signs of social consummatory anhedonia, which may be trait markers for depression.