An empirical study of the impact of two antipatterns on program comprehension

Les antipatrons sont de “mauvaises” solutions à des problèmes récurrents de conception logicielle. Leur apparition est soit due à de mauvais choix lors de la phase de conception soit à des altérations et des changements continus durant l’implantation des programmes. Dans la littérature, il est généralement admis que les antipatrons rendent la compréhension des programmes plus difficile. Cependant, peu d’études empiriques ont été menées pour vérifier l’impact des antipatrons sur la compréhension. Dans le cadre de ce travail de maîtrise, nous avons conçu et mené trois expériences, avec 24 sujets chacune, dans le but de recueillir des données sur la performance des sujets lors de tâches de compréhension et d’évaluer l’impact de l’existence de deux antipatrons, Blob et Spaghetti Code, et de leurs combinaisons sur la compréhension des programmes. Nous avons mesuré les performances des sujets en terme : (1) du TLX (NASA task load index) pour l’éffort ; (2) du temps consacré à l’exécution des tâches ; et, (3) de leurs pourcentages de réponses correctes. Les données recueillies montrent que la présence d’un antipatron ne diminue pas sensiblement la performance des sujets alors que la combinaison de deux antipatrons les entrave de façon significative. Nous concluons que les développeurs peuvent faire face à un seul antipatron, alors que la combinaison de plusieurs antipatrons devrait être évitée, éventuellement par le biais de détection et de réusinage.

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.

Evolving Distributed Algorithms with Genetic Programming

Distributed systems are one of the most vital components of the economy. The most prominent example is probably the internet, a constituent element of our knowledge society. During the recent years, the number of novel network types has steadily increased. Amongst others, sensor networks, distributed systems composed of tiny computational devices with scarce resources, have emerged. The further development and heterogeneous connection of such systems imposes new requirements on the software development process. Mobile and wireless networks, for instance, have to organize themselves autonomously and must be able to react to changes in the environment and to failing nodes alike. Researching new approaches for the design of distributed algorithms may lead to methods with which these requirements can be met efficiently. In this thesis, one such method is developed, tested, and discussed in respect of its practical utility. Our new design approach for distributed algorithms is based on Genetic Programming, a member of the family of evolutionary algorithms. Evolutionary algorithms are metaheuristic optimization methods which copy principles from natural evolution. They use a population of solution candidates which they try to refine step by step in order to attain optimal values for predefined objective functions. The synthesis of an algorithm with our approach starts with an analysis step in which the wanted global behavior of the distributed system is specified. From this specification, objective functions are derived which steer a Genetic Programming process where the solution candidates are distributed programs. The objective functions rate how close these programs approximate the goal behavior in multiple randomized network simulations. The evolutionary process step by step selects the most promising solution candidates and modifies and combines them with mutation and crossover operators. This way, a description of the global behavior of a distributed system is translated automatically to programs which, if executed locally on the nodes of the system, exhibit this behavior. In our work, we test six different ways for representing distributed programs, comprising adaptations and extensions of well-known Genetic Programming methods (SGP, eSGP, and LGP), one bio-inspired approach (Fraglets), and two new program representations called Rule-based Genetic Programming (RBGP, eRBGP) designed by us. We breed programs in these representations for three well-known example problems in distributed systems: election algorithms, the distributed mutual exclusion at a critical section, and the distributed computation of the greatest common divisor of a set of numbers. Synthesizing distributed programs the evolutionary way does not necessarily lead to the envisaged results. In a detailed analysis, we discuss the problematic features which make this form of Genetic Programming particularly hard. The two Rule-based Genetic Programming approaches have been developed especially in order to mitigate these difficulties. In our experiments, at least one of them (eRBGP) turned out to be a very efficient approach and in most cases, was superior to the other representations.

WAIS seminar: Computer Science, the Revolution in Schools

Tuesday 22nd April 2014 Speaker(s): Sue Sentance Organiser: Leslie Carr Time: 22/04/2014 15:00-16:00 Location: B32/3077 File size: 698 Mb Abstract Until recently, "computing" education in English schools mainly focused on developing general Digital Literacy and Microsoft Office skills. As of this September, a new curriculum comes into effect that provides a strong emphasis on computation and programming. This change has generated some controversy in the news media (4-year-olds being forced to learn coding! boss of the government’s coding education initiative cannot code shock horror!!!!) and also some concern in the teaching profession (how can we possibly teach programming when none of the teachers know how to program)? Dr Sue Sentance will explain the work of Computing At School, a part of the BCS Academy, in galvanising universities to help teachers learn programming and other computing skills. Come along and find out about the new English Computing Revolution - How will your children and your schools be affected? - How will our University intake change? How will our degrees have to change? - What is happening to the national perception of Computer Science?

Bibliography profiling of undergraduate theses in a professional psychology program

The bibliographic profile of 125 undergraduate (licentiate) theses was analyzed, describing absolute quantities of several bibliometric variables, as well as within-document indexes and average lags of the references. The results show a consistent pattern across the years in the 6 cohorts included in the sample (2001-2007), with variations, which fall within the robust confi dence intervals for the global central tendency. The median number of references per document was 52 (99% CI 47-55); the median  percentage of journal articles cited was 55%, with a median age for journal references of 9 years. Other highlights of the bibliographic profile were the use of foreign language references (median 61%), and low reliance on open web documents (median 2%). A cluster analysis of the bibliometric indexes resulted  in a typology of 2 main profiles, almost evenly distributed, one of them with the makeup of a natural science bibliographic profile and the second within the style of the humanities. In general, the number of references, proportion of papers, and age of the references are close to PhD dissertations and Master theses, setting a rather high standard for undergraduate theses.

Interactive writing : how language and literacy come together, K-2.

Muestra a los profesores cómo pueden utilizar la escritura interactiva para enseñar la lectura y la escritura a los niños muy pequeños en una fase muy temprana de su educación, compartiendo la pluma con los jóvenes escritores. Ofrece consejos prácticos y sugerencias para el uso de la literatura infantil y para iniciar en el arte de la escritura.

English as a second language. Workbook 2 : IGCSE.

Recurso para estudiantes de IGCSE inglés como segundo idioma. Tiene como objetivo ayudarlos a mejorar sus respuestas de examen y la calificación global. Las explicaciones y ejemplos hacen que también sea muy útil para estudiantes que se preparan para otros exámenes avanzados. Cubre todos los aspectos de la prueba y esta dividido en cuatro partes temáticas. Cada parte se subdivide en unidades basadas en las áreas de habilidades específicas del plan de estudios para que los alumnos practiquen su lectura, escritura y audición.

English as a second language. Coursebook 2 : IGCSE.

Recurso para estudiantes del International General Certificate of Secondary Education (IGCSE) inglés como segundo idioma. Tiene como objetivo ayudar a mejorar las respuestas de examen y la calificación global. Las explicaciones y ejemplos hacen que también sea muy útil para alumnos que se preparan para otros exámenes avanzados. Cubre todos los aspectos de la prueba y esta dividido en cuatro partes temáticas. Cada parte se subdivide en unidades basadas en las áreas de habilidades específicas del plan de estudios para practicar lectura, escritura y audición.

Fields of vision. Literature in the english language. 2.

Antología de la literatura en lengua inglesa desde los orígenes hasta la época contemporánea. Su objetivo es inculcar en los estudiantes el amor por la literatura y hacer que participen activamente en la experiencia del aprendizaje a través de: un examen a fondo del mundo literario en inglés basado en una selección equilibrada de autores y textos; una estructura modular en la que cada módulo corresponde a un período histórico / literario; una introducción a la apreciación de los textos literarios a través del análisis de las principales características de los géneros literarios; así como un enfoque flexible, que permite elaborar itinerarios modulares y realizar análisis de texto completo.

Practice tests for IGCSE English as a second language : listening and speaking book 2.

El libro contiene test prácticos con formato de examen para los ejercicios 4 y 5 de la prueba Cambridge IGCSE (International General Certificate of Secondary Education) de inglés como segundo idioma. Incluye cuatro tests de comprensión auditiva de nivel alto y veinte prácticas orales. Los test permiten desarrollar las técnicas de examen de los alumnos familiarizándose con el formato de los ejercicios de comprensión y pruebas orales, y con el tipo de temas que pueden encontrar en el examen oficial. El nivel de la prueba es intermedio e intermedio-alto.

Practice tests for IGCSE English as a second language : listening and speaking book 2 with key.

El libro contiene test prácticos con formato de examen para los ejercicios 4 y 5 de la prueba Cambridge IGCSE (International General Certificate of Secondary Education) de inglés como segundo idioma. Contiene cuatro tests de comprensión auditiva de nivel alto y veinte prácticas orales. Los test permiten desarrollar las técnicas de examen de los alumnos familiarizándose con el formato de los ejercicios de comprensión y pruebas orales, y con el tipo de temas que pueden encontrar en el examen oficial. El nivel de la prueba es intermedio e intermedio-alto. Incluye la trascripción completa de los audios y las respuestas de los test de compresión auditiva.

Practice tests for IGCSE English as a second language : reading and writing book 2.

El libro contiene cuatro tests prácticos completos con formato de examen para el ejercicio 2 de la prueba Cambridge IGCSE (International General Certificate of Secondary Education) de inglés como segundo idioma. Los tests permiten desarrollar las técnicas de examen de los alumnos familiarizándose con el formato de los ejercicios de lectura, compresión y escritura, y con el tipo de temas que pueden encontrar en el examen oficial. El nivel de la prueba es intermedio e intermedio-alto.

Practice tests for IGCSE English as a second language : reading and writing book 2 with key.

El libro contiene cuatro tests prácticos completos con formato de examen para el ejercicio 2 de la prueba Cambridge IGCSE (International General Certificate of Secondary Education) de inglés como segundo idioma. Los tests permiten desarrollar las técnicas de examen de los alumnos familiarizándose con el formato de los ejercicios de lectura, compresión y redacción, y con el tipo de temas y textos que pueden encontrar en el examen oficial. El nivel de la prueba es intermedio e intermedio-alto. Incluye las respuestas de los tests y redacciones de ejemplo.