Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

A Tool Box Half Full: How Social Science can Help Solve Human–Wildlife Conflict

There is a growing recognition among wildlife managers that focusing management on wildlife often provides a temporary fix to human–wildlife conflicts, whereas changing human behavior can provide long-term solutions. Human dimensions research of wildlife conflicts frequently focuses on stakeholders’ characteristics, problem identification, and acceptability of management, and less frequently on human behavior and evaluation of management actions to change that behavior. Consequently, little information exists to assess overall success of management. We draw on our experience studying human–bear conflicts, and argue for more human dimensions studies that focus on change in human behavior to measure management success. We call for help from social scientists to conduct applied experiments utilizing two methods, direct observation and self-reported data, to measure change in behavior. We are optimistic these approaches will help fill the managers’ tool box and lead to better integration of human dimensions into human–wildlife conflict management.

Eradicating Rats on Lehua Island, Hawaii, with the Help of GIS and GPS

Highlights • Wildlife Services used GIS and GPS to document and track bait distribution during each bait drop. • GIS and GPS were critical in making this eradication project effective and environmentally safe. • Use of the technologies ensured the coverage necessary for the project's goals.

ParTec and KarnUMa-Digital tools as a help for freshman learning

[EN]Freshman students always present lower success rates than other levels of students. Digital systems is a course usually taught at first year studentsand its success rate is not very high. In this work we introduce three digital tools to improve freshman learning designed for easy use and one of them is a tool for mobile terminals that can be used as a game. The first tool is ParTec and is used to implement and test the partition technique. This technique is used to eliminate redundant states in finite state machines. This is a repetitive task that students do not like to perform. The second tool is called KarnUMa and is used for simplifying logic functions through Karnaugh Maps. Simplifying logical functions is a core task for this course and although students usually perform this task better than other tasks, it can still be improved. The third tool is a version of KarnUMa, designed for mobile devices. All the tools are available online for download and have been a helpful tool for students.

Can health beliefs help in explaining attendance to follow-up care? The Swiss Childhood Cancer Survivor Study

Objective: Improved treatment has increased the survival of childhood cancer patients in recent decades, but follow-up care is recommended to detect and treat late effects. We investigated relationships between health beliefs and follow-up attendance in adult childhood cancer survivors. Methods: Childhood cancer survivors aged younger than 16 years when diagnosed between 1976 and 2003, who had survived for more than 5 years and were currently aged 201 years, received a postal questionnaire. We asked survivors whether they attended follow-up in the past year. Concepts from the Health Belief Model (perceived susceptibility and severity of future late effects, potential benefits and barriers to follow-up, general health value and cues to action) were assessed. Medical information was extracted from the Swiss Childhood Cancer Registry. Results: Of 1075 survivors (response rate 72.3%), 250 (23.3%) still attended regular followup care. In unadjusted analyses, all health belief concepts were significantly associated with follow-up (po0.05). Adjusting for other health beliefs, demographic, and medical variables, only barriers (OR50.59; 95%CI: 0.43–0.82) remained significant. Younger survivors, those with lower educational background, diagnosed at an older age, treated with chemotherapy, radiotherapy, or bone marrow transplantation and with a relapse were more likely to attend follow-up care. Conclusions: Our study showed that more survivors at high risk of cancer- and treatmentrelated late effects attend follow-up care in Switzerland. Patient-perceived barriers hinder attendance even after accounting for medical variables. Information about the potential effectiveness and value of follow-up needs to be available to increase the attendance among childhood cancer survivors.

Can S-100B serum protein help to save cranial CT resources in a peripheral trauma centre? A study and consensus paper

Cranial CT (CCT) is the gold standard to rule out traumatic brain injury. The serum level of the protein S-100B has recently been proposed as promising marker of traumatic brain injury. We prospectively investigated whether it might be a reliable tool for CCT triage in mild brain injury at a peripheral trauma centre with limited CT resources.

Is hatchery stocking a help or harm? Evidence, limitations and future directions in ecological and genetic surveys

Hatchery fish stocking for stock enhancement has been operated at a massive and global scale. However, the use of hatchery fish as a means of stock enhancement is highly controversial, and little is known about its effects on wild stock and consequences for stock enhancement. Here we review the scientific literature on this subject in order to address a fundamental - question is hatchery stocking a help or harm for wild stock and stock enhancement? We summarized 266 peer-reviewed papers that were published in the last 50 years, which describe empirical case studies on ecology and genetics of hatchery stocks and their effects on stock enhancement. Specifically, we asked whether hatchery stock and wild stock differed in fitness and the level of genetic variation, and whether stocking affected population abundance. Seventy studies contained comparisons between hatchery and wild stocks, out of which 23 studies showed significantly negative effects of hatchery rearing on the fitness of stocked fish, and 28 studies showed reduced genetic variation in hatchery populations. None of these studies suggested a positive genetic effect on the fitness of hatchery-reared individuals after release. These results suggest that negative effects of hatchery rearing are not just a concern but undeniably present in many aquaculture species. In a few cases, however, no obvious effect of hatchery rearing was observed, and a positive contribution of hatchery stock to the abundance of fish populations was indicated. These examples suggest that there is a chance to improve hatchery practices and mitigate the negative effects on wild stocks, although scientific data supporting the positive effect on stock enhancement are largely missing at this moment. Technically, microsatellite-based parentage assignments have been proven as a useful tool for the evaluation of reproductive fitness in natural settings, which is a key for stock enhancement by hatchery-based stocking. We discuss implications of these results, as well as their limitations and future directions. (C) 2010 Elsevier B.V. All rights reserved.

"Anteroposterior Patterning: How the Hox Genes Help Us Tell Our Heads from Our ***es"

The fundamental problem of developmental biology is how a single cell- a fertilized egg- is able to produce an entire organism in all its complexity. One essential aspect of this process is spatial patterning-in essence, instructing cells as to their location in developing body so that they can exhibit characteristics appropriate to their functions. he Hox genes, first discovered in mutant fruit fly "hopeful monsters" with extra pairs of wings or legs growing out of their heads, confer spatial information along the anteroposterior axis in animals from worms to humans. Prof Marin's research focuses on the roles of specific Hox genes in sculpting the developing entral nervous system of the fruit fly and how the same gene can direct a neuron to die, survive, or send its axon in search of different connections, depending on cellular context.