After-School Toolkit: Tips, Techniques and Templates for Improving Program Quality

This toolkit offers program managers a practical, hands-on guide for implementing quality programming in the after-school hours. The kit includes the tools and techniques that increased the quality of literacy programming and helped improve student reading gains in the Communities Organizing Resources to Advance Learning (CORAL) initiative of The James Irvine Foundation. CORAL is an eight-year, $58 million after-school initiative aimed at improving education achievement in low-performing schools in five California cities. In addition to strategies, process and instructions, this toolkit offers a series of tools program staff can use to build the quality of their after-school program

Logic Programming Environments: Dynamic Program Analysis and Debugging

Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the central issue of programming environments. Because their clean semantics makes powerful analysis possible, logic programming languages have an indisputable asset in the long term. This survey is focused on logic program analysis and debugging. The large number of references provided show that the field, though maybe scattered, is active. A unifying framework is given which separates environment tools into extraction, analysis, and visualization. It facilitates the analysis of existing tools and should give some guide lines to develop new ones. Achievements in logic programming are listed; some techniques developed for other languages are pointed out, and some trends for further research are drawn. Among the main achievements are algorithmic debugging, tracing for sequential Prolog, and abstract interpretation. The main missing techniques are slicing, test case generation, and program mutation. The perspectives we see are integration, evaluation and, above all, automated static and dynamic analysi

Cognitive Load Theory and Library Research Guides

Online library research guides are instructional tools that most libraries provide for their patrons. With greater flexibility in web programming and new products like Springshare’s Libguides librarians have multiple venues for guide creation. This paper seeks to assist research guide editors in assessing their guides based on cognitive load theory. This theory is based on the idea that cognitive capacity for learning is limited and that techniques can be developed to help learners avoid cognitive overload. Addressing the three main sources of cognitive load gives librarians a framework in which to create meaningful and useful research guides

Model2Roo: A Model Driven Approach for Web Application Development based on the Eclipse Modeling Framework and Spring Roo

International audienceInherent complexity in web application development is continually increasing due to changes in both functional and non-functional requirements, as well as to technological changes like new programming languages, tools, frameworks and development processes. An adequate management of this complexity is required in order to generate high quality software systems. In this paper, an approach based on model-driven techniques is proposed to guide the development of web applications, by focusing on model abstractions rather than implementation details. In order to do so, we propose a set of model extensions, such as profiles and annotations, to describe both the static structure and a subset of functional and non-functional requirements usually associated to web applications

Analysis of MiniJava programs via translation to ML

MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and verification tools and techniques have been developed for both Java-like and ML-like languages. Naturally, the tools developed for a particular language emphasise accurate treatment of language features commonly used in that language. In Java, this means objects with mutable properties and dynamic method dispatch. In ML, this means higher order functions and algebraic datatypes with pattern matching. We propose to translate programs from one language into the other and use the target language's tools for analysis and verification. By doing so, we hope to identify areas for improvement in the target language's tools and suggest techniques, perhaps as used in the source language's tools, that may guide their improvement. More generally, we hope to develop tools for reasoning about programs that are more resilient to changes in the style of code and representation of data. We begin our programme by outlining a translation from MiniJava to ML that uses only the core features of ML; in particular, it avoids the use of ML's mutable references. MiniJava is a subset of the object-oriented programming language Java. Standard ML is the canonical representative of the ML family of functional programming languages, which includes F# and OCaml. Different program analysis and verification tools and techniques have been developed for both Java-like and ML-like languages. Naturally, the tools developed for a particular language emphasise accurate treatment of language features commonly used in that language. In Java, this means objects with mutable properties and dynamic method dispatch. In ML, this means higher order functions and algebraic datatypes with pattern matching. We propose to translate programs from one language into the other and use the target language's tools for analysis and verification. By doing so, we hope to identify areas for improvement in the target language's tools and suggest techniques, perhaps as used in the source language's tools, that may guide their improvement. More generally, we hope to develop tools for reasoning about programs that are more resilient to changes in the style of code and representation of data. We begin our programme by outlining a translation from MiniJava to ML that uses only the core features of ML; in particular, it avoids the use of ML's mutable references

Logic Programming Environments: Dynamic Program Analysis and Debugging

Programming environments are essential for the acceptance of programming languages. This survey emphasizes that program analysis, both static and dynamic, is the central issue of programming environments. Because their clean semantics makes powerful analysis possible, logic programming languages have an indisputable asset in the long term. This survey is focused on logic program analysis and debugging. The large number of references provided show that the field, though maybe scattered, is active. A unifying framework is given which separates environment tools into extraction, analysis, and visualization. It facilitates the analysis of existing tools and should give some guide lines to develop new ones. Achievements in logic programming are listed; some techniques developed for other languages are pointed out, and some trends for further research are drawn. Among the main achievements are algorithmic debugging, tracing for sequential Prolog, and abstract interpretation. The main missing techniques are slicing, test case generation, and program mutation. The perspectives we see are integration, evaluation and, above all, automated static and dynamic analysi

Techniques for the Publication of Accessible Multimedia Content on the Web

Multimedia has become one of the most important sources of information and communication on the web. However, despite recent technological progress, people with disabilities and the elderly face difficulties accessing multimedia on the web. In some cases, these difficulties are impossible to overcome and are a fundamental cause of digital exclusion. Given the importance of this topic, several investigations on the problems of accessing multimedia resources have been carried out. Some organizations have also proposed certain standards to guide the creation and publication of accessible web content. Nevertheless, the authoring tools used in the process of publishing multimedia on the web do not offer all the accessibility features required. Authoring tools can also be used by people who do not have knowledge about web accessibility or programming, resulting in web publications lacking accessibility. This research proposes 278 novel techniques to guide authors, designers, programmers, and testers in the publication of accessible and inclusive multimedia on the web. These techniques are designed to guarantee the compliance with the recommended success criteria of Authoring Tools Accessibility Guidelines (ATAG) 2.0 of the World Wide Web Consortium. Moreover, these techniques can be used to evaluate the accessibility of the existing authoring tools used to create multimedia for the web. Additionally, we present 80 possible failures that can cause the non-fulfillment of ATAG 2.0. These failures can help authors discern what to avoid and help evaluators check whether particular multimedia is accessible.This work was supported in part by the Study of Accessibility Requirements of Multimedia Content on the Web: Case Study MOOC under Research Project PII-DETRI-2019-03, in part by the EduTech under Project 609785-EPP-1-2019-1-ES-EPPKA2-CBHE-JP, and in part by the Erasmus C Programme of the European Union

Model2Roo : Web Application Development based on the Eclipse Modeling Framework and Spring Roo

ISBN: 978-87-643-1014-6International audienceInherent complexity in web application development is continually increasing, due to technical challenges, like new programming frameworks and tools, and also due to changes in both functional and non-functional requirements of web applications. In this context, model-driven techniques can currently be used to guide the development of web systems, by focusing on different levels of modeling abstractions that encapsulate both implementation details and the de nition of system requirements. This paper presents Model2Roo, a tool intended for Java web application development, that relies on the Eclipse Modeling Framework and on the Spring Roo project. In particular, this paper outlines key issues highlighted by previous users of the tool, and also demonstrates recent implemented features

Pengembangan modul hipno-Neuro Linguistic Programming (NLP) untuk mengatasi stage fright Mahasiswa

Stage fright sebagai sebuah masalah yang sering kali dialami oleh mahasiswa baru dapat menghambat mahasiswa dalam menjalankan tugas lapangan pada proses perkuliahan dan dalam proses menyampaikan materi di dalam kelas. Dalam peneitian ini, metode penelitian yang digunakan adalah metode penelitian R&D, peneliti mengembangkan sebuah panduan terapi yang menggabungkan teknik hipnosis dan Neuro Linguistic Programming (NLP) yang diujicobakan kepada Mahasiswa baru UIN Sunan Kalijaga. Hasil uji coba dari modul panduan tersebut menunjukkan bahwa satge fright dapat diminimalisir dengan hypnosis dan NLP yang dalam penelitian ini berfungsi sebagai media untuk memasukkan nilai baru kepada klien dengan menggunakan pengembangan model Hipno-NLP untuk membuat bentuk anchor baru yang bertujuan mengatasi stage fright. Abstract: Stage fright as a problem that is oftentimes be experienced by new college students is obstructive in obeying assignment of study, either field assignment or presenting assignment in class. This research used Research and Development method and developed a therapeutic guide which combines hypnosis and Neuro Linguistic Programming (NLP) techniques and were tested on new students of UIN Sunan Kalijaga. The trial results of the guide module indicate that there is a significant effect on the subjects within both of these tools serve as a medium for entering new values to clients by using the development of the Hipno-NLP model to create new anchor that aim to overcome the stage frigh