Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Supporting and Enhancing Research on Cultural Heritage in France: the PATRIMA Project

In this paper, we first overview the French project on heritage called PATRIMA, launched in 2011 as one of the Projets d'investissement pour l'avenir, a French funding program meant to last for the next ten years. The overall purpose of the PATRIMA project is to promote and fund research on various aspects of heritage presentation and preservation. Such research being interdisciplinary, research groups in history, physics, chemistry, biology and computer science are involved in this project. The PATRIMA consortium involves research groups from universities and from the main museums or cultural heritage institutions in Paris and surroundings. More specifically, the main members of the consortium are the two universities of Cergy-Pontoise and Versailles Saint-Quentin and the following famous museums or cultural institutions: Musée du Louvre, Château de Versailles, Bibliothèque nationale de France, Musée du Quai Branly, Musée Rodin. In the second part of the paper, we focus on two projects funded by PATRIMA named EDOP and Parcours and dealing with data integration. The goal of the EDOP project is to provide users with a data space for the integration of heterogeneous information about heritage; Linked Open Data are considered for an effective access to the corresponding data sources. On the other hand, the Parcours project aims at building an ontology on the terminology about the techniques dealing with restoration and/or conservation. Such an ontology is meant to provide a common terminology to researchers using different databases and different vocabularies.

Gazdasági versenyképességet támogató pályázatok eredményessége az NFT és az ÚMFT keretében = The effectiveness of grants supporting economic development under hungary's national development plans

A Budapesti Corvinus Egyetem kutatócsoportja által végzett kutatás során arra a kérdésre kerestük a választ, hogy a Nemzeti Fejlesztési Terv (NFT) és az Új Magyarország Fejlesztési Terv (ÚMFT) keretében létrehozott, kis- és középvállalatok számára kialakított gazdaságfejlesztési pályázatok milyen hatékonysággal működnek. Hogyan volt képes a rendszer beépíteni az NFT Gazdasági Versenyképesség Operatív Program (GVOP) tapasztalatait az ÚMFT Gazdaságfejlesztési Operatív Programba (GOP). Továbbá, hogy maguk a kis- és középvállalatok miként értékelik ezen kiírásokat és milyen javaslatokat tennének az ilyen típusú pályázatok "felhasználóbaráttá" tételéhez. A kutatás 2009 márciusától 2009 decemberéig tartott. A kéziratot 2010 áprilisában zártuk. / === / In a research group of the Corvinus University of Budapest we aimed to answer the questions of efficiency and effectiveness of the economic development grants of the National Development Plan (2004-2006) and the New Hungarian Development Plan (2007-13) with the focus of small and medium sized enterprises (SME's). We tried to highlight the results of learning by doing of the first National Development Plan and how this practice was built into the second development plan. An emphasis was placed on the opinion of the SME's, how they evaluate the grants and what are their proposals to make the grant system more "user friendly".

The effects of a creative movement program on long-term incarcerated women

The Multicultural Communication Bridge Program, an ongoing project at the Broward Correctional Institution, utilizes creative movement, writing, and drawing as treatment modalities with long-term incarcerated women. This type of programming is new in the prison system thus literature and research supporting the outcomes with this population are lacking. Therefore, a qualitative study was conducted to determine the efficacy of the program. Nine inmates, who have been involved in the program for at least one year, were interviewed to gather information about their personal experiences as a result of their participation. Common themes that were noted include an increase in trust, the expression of emotions, an increase in self esteem, and an improvement in interactions with others. These attributes are believed to be beneficial to these women to ensure a successful community reintegration upon their release from prison. ^

An investigation of the strategies used by organizations participating in the welfare-to-work network program and correlation of the strategies with the retention data to determine best practices for job retention among former welfare recipients

This ex post facto study (N = 209) examined the relationships between employer job strategies and job retention among organizations participating in Florida welfare-to-work network programs and associated the strategies with job retention data to determine best practices. ^ An internet-based self-report survey battery was administered to a heterogeneous sampling of organizations participating in the Florida welfare-to-work network program. Hypotheses were tested through correlational and hierarchical regression analytic procedures. The partial correlation results linked each of the job retention strategies to job retention. Wages, benefits, training and supervision, communication, job growth, work/life balance, fairness and respect were all significantly related to job retention. Hierarchical regression results indicated that the training and supervision variable was the best predictor of job retention in the regression equation. ^ The size of the organization was also a significant predictor of job retention. Large organizations reported higher job retention rates than small organizations. There was no statistical difference between the types of organizations (profit-making and non-profit) and job retention. The standardized betas ranged from to .26 to .41 in the regression equation. Twenty percent of the variance in job retention was explained by the combination of demographic and job retention strategy predictors, supporting the theoretical, empirical, and practical relevance of understanding the association between employer job strategies and job retention outcomes. Implications for adult education and human resource development theory, research, and practice are highlighted as possible strategic leverage points for creating conditions that facilitate the development of job strategies as a means for improving former welfare workers’ job retention.^

Supporting Students with Intellectual Disabilities in Higher Education through Mentoring

Federal legislation is now making it possible for students with Intellectual Disabilities (ID) to enroll in university programs through inclusive transition models. The need for more knowledge in the workplace, in addition to newly acquired opportunities, draws students with ID to college campuses. With this increase of student in postsecondary education settings, it is necessary to examine the types of supports needed to ensure their success. Peer mentorship has been identified as a crucial aspect of support for academic and social development. This paper identifies the skills mentors use during their sessions and outlines challenges with mentoring partnerships in postsecondary transition programs. Data analysis revealed major themes related to inclusion, self-determination, and adaptive behavior skills.

The effects of a creative movement program on long-term incarcerated women

The Multicultural Communication Bridge Program, an ongoing project at the Broward Correctional Institution, utilizes creative movement, writing, and drawing as treatment modalities with long-term incarcerated women. This type of programming is new in the prison system thus literature and research supporting the outcomes with this population are lacking. Therefore, a qualitative study was conducted to determine the efficacy of the program. Nine inmates, who have been involved in the program for at least one year, were interviewed to gather information about their personal experiences as a result of their participation. Common themes that were noted include an increase in trust, the expression of emotions, an increase in self esteem, and an improvement in interactions with others. These attributes are believed to be beneficial to these women to ensure a successful community reintegration upon their release from prison.

“It’s the People That Drive It”: Motivating and Supporting Collaborative Data Use Practices in Three Teacher Education Programs

Thesis (Ph.D.)--University of Washington, 2016-08

Supporting data for Blossey et al (2016): CGILS Phase 2 LES intercomparison of response of subtropical marine low cloud regimes to CO2 quadrupling and a CMIP3-composite forcing change

This archive provides supporting data with forcings, data and plotting scripts for the paper P. N. Blossey, C. S. Bretherton, A. Cheng, S. Endo, T. Heus, A. Lock and J. J. van der Dussen, 2016. CGILS Phase 2 LES intercomparison of response of subtropical marine low cloud regimes to CO2 quadrupling and a CMIP3-composite forcing change. J. Adv. Model. Earth Syst., Under revision.

Diabetes text-message self-management support program (SMS4BG): A pilot study

BACKGROUND: The increasing prevalence of diabetes and costly long-term complications associated with poor glycemic control are issues facing health services worldwide. Diabetes self-management, with the support of health care providers, is critical for successful outcomes, however, frequent clinical contact is costly. Text messages via short message service (SMS) have the advantage of instant transmission at low cost and, given the ubiquity of mobile phones, may be the ideal platform for the delivery of diabetes self-management support. A tailored text message-based diabetes support intervention called Self-Management Support for Blood Glucose (SMS4BG) was developed. The intervention incorporates prompts around diabetes education, management, and lifestyle factors (healthy eating, exercise, and stress management), as well as blood glucose monitoring reminders, and is tailored to patient preferences and clinical characteristics. OBJECTIVE: To determine the usability and acceptability of SMS4BG among adults with poorly controlled diabetes. METHODS: Adults (aged 17 to 69 years) with type 1 (n=12) or type 2 diabetes (n=30), a hemoglobin A1c (HbA1c) over 70 mmol/mol (8.6%), and who owned a mobile phone (n=42) were recruited to take part in a 3-month pilot study of SMS4BG. At registration, participants selected the modules they would like to receive and, where appropriate, the frequency and timing of blood glucose monitoring reminders. Patient satisfaction and perceptions of the usability of the program were obtained via semistructured phone interviews conducted at completion of the pilot study. HbA1c was obtained from patient records at baseline and completion of the pilot study. RESULTS: Participants received on average 109 messages during the 3-month program with 2 participants withdrawing early from the study. Follow-up interviews were completed with 93% of participants with all reporting SMS4BG to be useful and appropriate to their age and culture. Participants reported a range of perceived positive impacts of SMS4BG on their diabetes and health behaviors. HbA1c results indicated a positive impact of the program on glycemic control with a significant decrease in HbA1c from baseline to follow-up. CONCLUSIONS: A tailored text message-based intervention is both acceptable and useful in supporting self-management in people with poorly controlled diabetes. A randomized controlled trial of longer duration is needed to assess the efficacy and sustainability of SMS4BG.

A randomised trial of the Flinders Program to improve patient self-management competencies in a range of chronic conditions : study rationale and protocol

Background: Supporting self management is seen as an important health service strategy in dealing with the large and increasing health burden of chronic conditions. Several types of self-management programs are available. Evidence to date suggests that disease specific and lay-led self management programs provide only part of the support needed for improved outcomes. The Flinders Program is promising as a generic self management intervention, which can be combined with targeted disease specific and lay-led interventions, but it has yet to be evaluated for a range of chronic conditions using a rigorous controlled trial design. This paper gives the rationale for a randomised controlled trial and process evaluation of the Flinders Program of chronic condition self-management in community practice, and details and justifies the design of such a study.Method: The design for a randomised trial and associated process evaluation, suited to evaluation of a complex and behavioural intervention as it is applied in actual practice, is presented and justified.Conclusion: A randomised trial of the Flinders Program is required and a functional design is presented. Results from this trial, currently underway, will test the effectiveness of the Flinders Program in improving patient competencies in self-management of chronic conditions in practice conditions. A process evaluation alongside the trial will explore system, provider and patient factors associated with greater and lesser Program effectiveness.

Chronic disease self-management in Aboriginal communities : towards a sustainable program of care in rural communities

The Chronic Disease Self-Management (CDSM) strategy for Aboriginal patients on Eyre Peninsula, South Australia, was designed to develop and trial new program tools and processes for goal setting, behaviour change and self-management for Aboriginal people with diabetes. The project was established as a one-year demonstration project to test and trial a range of CDSM processes and procedures within Aboriginal communities and not as a formal research project. Over a one-year period, 60 Aboriginal people with type-2 diabetes in two remote regional centres participated in the pilot program. This represents around 25% of the known Aboriginal diabetic population in these sites. The project included training for four Aboriginal Health Workers in goal setting and self-management strategies in preparation for them to run the program. Patients completed a Diabetes Assessment Tool, a Quality of Life Questionnaire (SF12), the Work and Social Adjustment Scale (WASAS) at 0, 6 and 12 months. The evaluation tools were assessed and revised by consumers and health professionals during the trial to determine the most functional and acceptable processes for Aboriginal patients. Some limited biomedical data were also recorded although this was not the principal purpose of the project. Initial results from the COAG coordinated care trial in Eyre suggest that goal setting and monitoring processes, when modified to be culturally inclusive of Aboriginal people, can be effective strategies for improving self-management skills and health-related behaviours of patients with chronic illness. The CDSM pilot study in Aboriginal communities has led to further refinement of the tools and processes used in chronic illness self-management programs for Aboriginal people and to greater acceptance of these processes in the communities involved. Participation in a diabetes self-management program run by Aboriginal Health Workers assists patients to identify and understand their health problems and develop condition management goals and patient-centred solutions that can lead to improved health and wellbeing for participants. While the development of self-management tools and strategies led to some early indications of improvements in patient participation and resultant health outcomes, the pilot program and the refinement of new assessment tools used to assist this process has been the significant outcome of the project. The CDSM process described here is a valuable strategy for educating and supporting people with chronic conditions and in gaining their participation in programs designed to improve the way they manage their illness. Such work, and the subsequent health outcome research planned for rural regions, will contribute to the development of more comprehensive CDSM programs for Aboriginal communities generally.

A perspective on supporting STEM academics with blended learning at an Australian university

Design-based educational research can aid in providing a lens into understanding the complexities around imaginative methods, while also creating an avenue to share personal insights to support the solving of teaching and learning problems to direct future efforts. In this study, the ‘I’ narrative was extensively utilised in the form of an autoethnography perspective. This was achieved by incorporating three self-report methods within a design experiment, in order to explore the messiness associated with showcasing the creation and modification of a faculty-wide blended learning framework for STEM teachers. Data generation procedures from three sources provided the evidential basis for investigating this process: (1) self-reflection, (2) key literature findings, and (3) critical discussions from a community of inquiry. The findings identified three particular features of the process of change that were challenging, for which STEM academics required support: educators’ professional context; finding models to support change in practice; and identifying the change agent. The paper argues for the program of a personal and complex methodology to inform practice, providing insights into the change process, because process is just as important as product.

Supporting scientists in re-engineering sequential programs to parallel using model-driven engineering

Developing complex computational-intensiveand data-intensive scientific applications requires effectiveutilization of the computational power of the availablecomputing platforms including grids, clouds, clusters, multicoreand many-core processors, and graphical processingunits (GPUs). However, scientists who need to leverage suchplatforms are usually not parallel or distributed programmingexperts. Thus, they face numerous challenges whenimplementing and porting their software-based experimentaltools to such platforms. In this paper, we introduce asequential-to-parallel engineering approach to help scientistsin engineering their scientific applications. Our approach isbased on capturing sequential program details, plannedparallelization aspects, and program deployment details usinga set of domain-specific visual languages (DSVLs). Then, usingcode generation, we generate the corresponding parallelprogram using necessary parallel and distributedprogramming models (MPI, OpenCL, or OpenMP). Wesummarize three case studies (matrix multiplication, N-Bodysimulation, and signal processing) to evaluate our approach.

How are Canadian universities training and supporting undergraduate medical, physiotherapy and occupational students for global health experiences in international low-resource settings?

Abstract : OBJECTIVES : Canadian medical (MD), physiotherapy (PT) and occupational therapy (OT) students increasingly show an interest in global health experiences (GHEs). As certain moral hazards can occur as a result of student GHEs, a growing consensus exists that universities must have an established selection process, in-depth pre-departure training (PDT), adequate onsite supervision and formal debriefing for their students. This study aimed at identifying current practices in Canadian MD, PT and OT programs and discussing areas for improvement by comparing them with recommendations found in the literature. METHODS : Canadian MD, PT and OT programs (n = 45) were invited to answer an online survey about their current practices for GHE support and training. The survey included 24 close-ended questions and 18 open-ended questions. Descriptive statistics and a thematic analysis were performed on the data and results were discussed with recommendations found in the literature. RESULTS : Twenty-three programs responded to the survey. Student selection processes varied across universities; examples included using academic performance, interviews and motivation letters. All but 1 MD program had mandatory PDT; content and teaching formats varied, as did training duration (2-38 hours). All but 1 MD program had onsite supervision; local clinicians were frequently involved. Debriefing, although not systematic, covered similar content; debriefing was variable in duration (1-8 hours). CONCLUSIONS : Many current practices are encouraging but areas for improvement exist. Integrating global health content into the regular curriculum with advanced study option in global health for students participating in GHEs could help universities standardize support and training.