Dynamic, incremental assertion propagation in end-user programming

End-user programming is growing at a rapid rate, but there has been little in the way of tools or environments to improve the correctness of programs created by end users. We present an approach to dynamic assertions in one of the most widely used end-user programming paradigms - namely the spreadsheet paradigm. Our approach does not assume any formal knowledge of, or interest in, software engineering practices. Dynamic assertions, which can be entered incrementally, feature deductive propagation from user-entered assertions through spreadsheet formulas. These propagated dynamic assertions can then be compared with other user-entered dynamic assertions and - in the event of a conflict - alert the user to the possibility of a bug in the spreadsheet formulas. Deductive propagation, however, is not necessarily viable in all situations. We present algorithms for a set of spreadsheets that obey a particular set of restrictions, and evaluate these algorithms in regard to four properties: Reliability, Correctness, Responsiveness and Usefulness. We present lower bounds on the classification of the propagation problem for the case where When propagation is not viable. We also empirically examine the occurrence of these difficult situations in a corpus of real-world spreadsheets, determining that our approach is capable of propagation through common situations present in real-world spreadsheets

Interactive, visual fault localization support for end-user programmers

End-user programmers are writing an unprecedented number of programs, primarily using languages and environments that incorporate a number of interactive and visual programming techniques. To help these users debug these programs, we have developed an entirely visual, interactive approach to fault localization. This paper presents the approach. We also present the results of a think-aloud study that examined the interactive, human-centric issues that arise in end-user debugging using a fault localization strategy. Our results provide insights into the contributions such strategies can make to the end-user debugging process.Keywords: visual fault localization, debugging, end-user software engineering, slicing, form-based visual programs, testing, end-user programmin

Innovative methods of community engagement: towards a low carbon climate resilient future

The proceedings of the Innovative Methods of Community Engagement: Toward a Low Carbon, Climate Resilient Future workshop have been developed by the Imagining2050 team in UCC and the Secretariat to the National Dialogue on Climate Action (NDCA). The NDCA also funded the workshop running costs. The proceedings offer a set of recommendations and insights into leveraging different community engagement approaches and methodologies in the area of climate action. They draw from interdisciplinary knowledge and experiences of researchers for identifying, mobilizing and mediating communities. The work presented below derives from a workshop held in the Environmental Research Institute in UCC on the 17th January 2019. These proceedings are complementary to an earlier workshop also funded by the NDCA and run by MaREI in UCC, titled ‘How do we Engage Communities in Climate Action? – Practical Learnings from the Coal Face’. The earlier workshop looked more closely at community development groups and other non-statutory organizations doing work in the area of climate change

Missionary Rivalries in Ottoman Transjordan at the Turn of the 20th Century

With the advent of direct Ottoman rule in the 1860’s, Transjordan witnessed a major expansion in the activities of European missionaries directed at the sizeable Orthodox Christian minority. Protestant agents of the British Church Missionary Society, and Catholic priests from the Latin Patriarchate in Jerusalem entered an escalating competition, seeking to win converts with the promise of churches and schools. Local Muslims were pleased to take advantage of the social services, and Orthodox converts to the Western Churches came to claim European protection. The Greek Patriarchate of Jerusalem and the Ottoman government were forced to respond in kind, providing schools and other social services. Antonin Jaussen arrived in Transjordan at the height of this activity, and was both an observer and a participant in the missionary rivalry which set a number of important social changes in motion, either beneficial or detrimental. This paper is based on the archives of the Church Missionary Society, the Latin Patriarch in Jerusalem, and the consular archives of the French Foreign Ministry in Nantes.Avec l’avancée du pouvoir effectif des Ottomans sur la Transjordanie à partir des années 1860, les activités des missionnaires européens à l’égard de la minorité orthodoxe se développent de façon notable. Promettant églises et écoles en vue de faire des convertis, les agents protestants de la Church Missionary Society britannique et les prêtres catholiques du patriarcat latin de Jérusalem entrèrent en compétition. Tandis que les musulmans locaux utilisaient de bonne grâce les services sociaux mis en place par les missions, les orthodoxes convertis aux Églises occidentales se mirent à rechercher la protection des puissances européennes. Tant le patriarcat grec de Jérusalem que le gouvernement ottoman se virent contraints de répondre en nature, en ouvrant des écoles et en offrant des services sociaux. Antonin Jaussen arrive en Transjordanie alors que cette compétition bat son plein. Il est témoin, mais aussi participant, de cette rivalité missionnaire qui impulse d’importants changements sociaux, parfois positifs, parfois négatifs. Cette communication a pour principales sources les archives de la Church Missionary Society, du patriarcat latin de Jérusalem et les archives consulaires du ministère des Affaires étrangères français conservées à Nantes

the Fall of Khilafah: Perang Besar yang Meruntuhkan Khilafah utsmaniyah dan Mengubah Selamanya Wajah Timur Tengah

xxvi, 563 hlm.; 24 c

No stake in victory : North African soldiers of the Great War

The men of North Africa had no stake in the European war that erupted in August 1914. Over three hundred thousand Berber and Arab men from Algeria, Morocco, and Tunisia fought in Belgium and France. Many were wounded in some of the bloodiest engagements on the Western Front. Thousands were taken prisoner. As many as forty-five thousand never returned home, dying for a colonial power that had reduced them to second-class citizens in their own homelands. One particular aspect this article will focus on addresses the Muslim soldiers taken prisoner by the Germans who were interned in a special camp where they were recruited to the Ottoman army. Thousands joined the Ottoman Jihad effort that German war planners hoped might provoke uprisings among colonial Muslims in the British, French, and Russian Empires to undermine the Entente war effort. Redeployed in Mesopotamia and the Hijaz, these North African soldiers were as ill-served by the Ottoman Empire as they had been by the French. North African survivors of World War I resumed their lives as colonial subjects in their home countries under the intensified imperial rule of the interwar years

Dari Puncak Khilafah: Sejarah Arab-Islam Sejak Era Kejayaan Khilafah Utsmaniyah

v, 775 hlm.; 24 c

Dari Puncak Khalifah : sejarah arab-islam sejak era kejayaan khilafah utsmaniyah

v, 775 hlm.; ilus.; 23 c

No stake in victory : North African soldiers of the Great War

The men of North Africa had no stake in the European war that erupted in August 1914. Over three hundred thousand Berber and Arab men from Algeria, Morocco, and Tunisia fought in Belgium and France. Many were wounded in some of the bloodiest engagements on the Western Front. Thousands were taken prisoner. As many as forty-five thousand never returned home, dying for a colonial power that had reduced them to second-class citizens in their own homelands. One particular aspect this article will focus on addresses the Muslim soldiers taken prisoner by the Germans who were interned in a special camp where they were recruited to the Ottoman army. Thousands joined the Ottoman Jihad effort that German war planners hoped might provoke uprisings among colonial Muslims in the British, French, and Russian Empires to undermine the Entente war effort. Redeployed in Mesopotamia and the Hijaz, these North African soldiers were as ill-served by the Ottoman Empire as they had been by the French. North African survivors of World War I resumed their lives as colonial subjects in their home countries under the intensified imperial rule of the interwar years