Supporting Reuse and Evolution in Software Design

Program design is an area of programming that can benefit significantly from machine-mediated assistance. A proposed tool, called the Design Apprentice (DA), can assist a programmer in the detailed design of programs. The DA supports software reuse through a library of commonly-used algorithmic fragments, or cliches, that codifies standard programming. The cliche library enables the programmer to describe the design of a program concisely. The DA can detect some kinds of inconsistencies and incompleteness in program descriptions. It automates detailed design by automatically selecting appropriate algorithms and data structures. It supports the evolution of program designs by keeping explicit dependencies between the design decisions made. These capabilities of the DA are underlaid bya model of programming, called programming by successive elaboration, which mimics the way programmers interact. Programming by successive elaboration is characterized by the use of breadth-first exposition of layered program descriptions and the successive modifications of descriptions. A scenario is presented to illustrate the concept of the DA. Technques for automating the detailed design process are described. A framework is given in which designs are incrementally augmented and modified by a succession of design steps. A library of cliches and a suite of design steps needed to support the scenario are presented.

Supporting Dynamic Languages on the Java Virtual Machine

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure Java programs on the machine. The first extension allows for efficient encoding of dynamic data; the second allows for efficient encoding of language-specific computational elements.

Sparsely Faceted Arrays: A Mechanism Supporting Parallel Allocation, Communication, and Garbage Collection

Conventional parallel computer architectures do not provide support for non-uniformly distributed objects. In this thesis, I introduce sparsely faceted arrays (SFAs), a new low-level mechanism for naming regions of memory, or facets, on different processors in a distributed, shared memory parallel processing system. Sparsely faceted arrays address the disconnect between the global distributed arrays provided by conventional architectures (e.g. the Cray T3 series), and the requirements of high-level parallel programming methods that wish to use objects that are distributed over only a subset of processing elements. A sparsely faceted array names a virtual globally-distributed array, but actual facets are lazily allocated. By providing simple semantics and making efficient use of memory, SFAs enable efficient implementation of a variety of non-uniformly distributed data structures and related algorithms. I present example applications which use SFAs, and describe and evaluate simple hardware mechanisms for implementing SFAs. Keeping track of which nodes have allocated facets for a particular SFA is an important task that suggests the need for automatic memory management, including garbage collection. To address this need, I first argue that conventional tracing techniques such as mark/sweep and copying GC are inherently unscalable in parallel systems. I then present a parallel memory-management strategy, based on reference-counting, that is capable of garbage collecting sparsely faceted arrays. I also discuss opportunities for hardware support of this garbage collection strategy. I have implemented a high-level hardware/OS simulator featuring hardware support for sparsely faceted arrays and automatic garbage collection. I describe the simulator and outline a few of the numerous details associated with a "real" implementation of SFAs and SFA-aware garbage collection. Simulation results are used throughout this thesis in the evaluation of hardware support mechanisms.

Program, abstracts and related documents.

The context: Soil biodiversity and sustainable agriculture; Abstracts - Theme 1: Monitoring and assessment: Bioindicators of soil health: assessment and monitoring for sustainable agriculture; Practical tools to measure soil health and their use by farmers; Biological soil quality from biomass to biodiversity - importance and resilience to management stress and disturbance; Integrated management of plant-parasitic nematodes in maize-bean cropping systems; Microbial quantitative and qualitative changes in soils under different crops and tillage management systems in Brazil; Diversity in the rhizobia associated with Phaseolus vulgaris L: in Ecuador and comparisons with Mexican bean rhizobia; Sistemas integrados ganadería-agricultura en Cuba; Soil macrofauna as bioindicator of soil quality; Biological functioning of cerrado soils; Hydrolysis of fluorescein diacetate as a soil quality indicator in different pasture systems; Soil management and soil macrofauna communities at Embrapa Soybean, Londrina, Brazil; Soil macrofauna in a 24 - year old no-tillage system in Paraná, Brazil; Invertebrate macrofauna of soils inpastures under different forms of management in the cerrado (Brazil); Soil tillage modifies the invertebrate soil macrofauna community; Soil macrofauna in various tillage and land use systems on an oxisols near Londrina, Paraná, Brazil; Interference of agricultural systems on soil macrofauna; Scarab beetle-grub holes in various tillage and crop management systems at Embrapa Soybean, Londrina, Brazil; Biological management of agroecosystems; Soil biota and nutrient dynamics through litterfall in agroforestry system in Rondônia, Amazônia, Brazil; Soil-C stocks and earthworm diversity of native and introduced pastures in Veracruz, Mexico; Theme 2 : Adaptive management: Some thoughts on the effects and implications of the transition from weedy multi-crop to wead-free mono-crop systems in Africa; Towards sustainable agriculture with no-tillage and crop rotation systems in South Brazil; Effect of termites on crusted soil rehabilitation in the Sahel; Management of macrofauna in traditional and conventional agroforestry systems from India with special reference to termites and earthworms; Adaptive management for redeveloping traditional agroecosystems; Conservation and sustainable use of soil biodiversity: learning with master nature!; Convergence of sciences: inclusive technology innovation processes for better integrated crop/vegetation, soil and biodiversity management; Potential for increasing soil biodiversity in agroecosystems; Biological nitrogen fixation and sustainability in the tropics; Theme 3: Research and innovation: Plant flavonoids and cluster roots as modifiers of soil biodiversity; The significance of biological diversity in agricultural soil for disease suppressiveness and nutrient retention; Linking above - and belowground biodiversity: a comparison of agricultural systems; Insect-pests in biologically managed oil and crops: the experience at ICRISAT; Sistemas agricolas micorrizados en Cuba; The effect of velvetbean (Mucuna pruriens) on the tropical earthworm Balanteodrilus pearsei: a management option for maize crops in the Mexican humid tropics; The potential of earthworms and organic matter quality in the rehabilitation of tropical soils; Research and innovation in biological management of soil ecosystems; Application of biodynamic methods in the Egyptian cotton sector; Theme 4: Capacity building and mainstreaming: Soil ecology and biodiversity: a quick scan of its importance for government policy in The Netherlands; Agrotechnological transfer of legume inoculants in Eastern and Southern Africa; Agricultura urbana en Cuba; Soil carbon sequestration for sustaining agricultural production and improving the environment; Conservation and sustainable management of below-ground biodiversity: the TSBF-BGBD network project; The tropical soil biology and fertility institute of CIAT (TSBF); South-South initiative for training and capacity building for the management of soil biology/biodiversity; Strategies to facilititate development and adoption of integrated resource management for sustainable production and productivity improvement; The challenge program on biological nitrogen fixation (CPBNF); Living soil training for farmers: improving knowledge and skills in soil nutrition management; Do we need an inter-governmental panel on land and soil (IPLS)? Protection and sustainable use of biodiversity of soils; Cases Studies -- Plant parasitic nematodes associated with common bean (Phaseolus vulgaris L.) and integrated management approaches; Agrotechnological transfer of legume inoculants in Eastern and Southern Africa; Restoring soil fertility and enhancing productivity in Indian tea plantations with earthworms and organic fertilizers; Managing termites and organic resources to improve soil productivity in the Sahel; Overview and case studies on biological nitrogen fixation: perspectives and limitations; Soil biodiversity and sustainable agriculture: an overview.

Supporting the case for “progressive universalism” in health visiting: Scottish mothers and health visitors’ perspectives on targeting and rationing health visiting services, with a focus on the Lothian Child Concern Model.

Aims. To explore parents and professionals’ experience of family assessment in health visiting (public health nursing), with a focus on the Lothian Child Concern Model (LCCM). Background. Health visitors (HVs) currently assess families as requiring core, additional or intensive support, and offer support at a corresponding level. The majority of families are assessed as core and receive no pro-active support beyond the early days. Previous assessment tools, consisting of checklists, have been criticised as being ineffective in identifying a range of health needs and unacceptable to parents and HVs. The LCCM model was developed and introduced in the study area to promote a partnership approach with parents and assess strengths as well as difficulties in parents’ capacity to care for their child. Methods. Qualitative methods were used. Ten mothers and twelve HVs took part in individual semi-structured interviews. Results. Most mothers were aware of the assessment process but some felt that they were not involved in the decision making process. Explaining the assessment process to parents is problematic and not all HVs do so. The assessment process was stressful for some mothers. HVs find the model useful for structuring and documenting the assessment process. Many believe that most families benefit from some support, using public health approaches. Families are often assessed as core because there are insufficient resources to support all those who meet the criteria of the additional category, and managers assess caseloads in terms of families with child protection concerns. Conclusions. The study findings support the concept of “progressive universalism” which provides a continuum of intensity of support to families, depending on need. Mothers would like better partnership working with HVs. Relevance to clinical practice. The study endorses proposed policy changes to re-establish the public health role of HVs and to lower the threshold for families to qualify for support.

JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four.

Urquhart, C. (editor for JUSTEIS team), Spink, S., Thomas, R., Yeoman, A., Durbin, J., Turner, J., Armstrong, A., Lonsdale, R. & Fenton, R. (2003). JUSTEIS (JISC Usage Surveys: Trends in Electronic Information Services) Strand A: survey of end users of all electronic information services (HE and FE), with Action research report. Final report 2002/2003 Cycle Four. Aberystwyth: Department of Information Studies, University of Wales Aberystwyth with Information Automation Ltd (CIQM). Sponsorship: JISC

Visual Segmentation-Based Data Record Extraction From Web Documents

Li, Longzhuang, Liu, Yonghuai, Obregon, A., Weatherston, M. Visual Segmentation-Based Data Record Extraction From Web Documents. Proceedings of IEEE International Conference on Information Reuse and Integration, 2007, pp. 502-507. Sponsorship: IEEE

Dix-huit ans chez les sauvages : voyages et missions de Mgr Henry Faraud, áevãeque d'Anemour, vicaire apostolique de Mackensie dans l'extrãeme nord de l'Amerique britannique : d'apráes les documents de Mgr l'evãque d'Anemour / par Fernand-Michel.

http://www.archive.org/details/dixhuitanschezle00fararich

First ten annual reports of the American Board of Commissioners for Foreign Missions : with other documents of the Board.

http://www.archive.org/details/firsttenannualre00amerrich

Supporting Predicate Routing in DTN over MANET

We consider a Delay Tolerant Network (DTN) whose users (nodes) are connected by an underlying Mobile Ad hoc Network (MANET) substrate. Users can declaratively express high-level policy constraints on how "content" should be routed. For example, content may be diverted through an intermediary DTN node for the purposes of preprocessing, authentication, etc. To support such capability, we implement Predicate Routing [7] where high-level constraints of DTN nodes are mapped into low-level routing predicates at the MANET level. Our testbed uses a Linux system architecture and leverages User Mode Linux [2] to emulate every node running a DTN Reference Implementation code [5]. In our initial prototype, we use the On Demand Distance Vector (AODV) MANET routing protocol. We use the network simulator ns-2 (ns-emulation version) to simulate the mobility and wireless connectivity of both DTN and MANET nodes. We show preliminary throughput results showing the efficient and correct operation of propagating routing predicates, and as a side effect, the performance benefit of content re-routing that dynamically (on-demand) breaks the underlying end-to-end TCP connection into shorter-length TCP connections.

On the Cost of Supporting Multihoming and Mobility

As the Internet has evolved and grown, an increasing number of nodes (hosts or autonomous systems) have become multihomed, i.e., a node is connected to more than one network. Mobility can be viewed as a special case of multihoming—as a node moves, it unsubscribes from one network and subscribes to another, which is akin to one interface becoming inactive and another active. The current Internet architecture has been facing significant challenges in effectively dealing with multihoming (and consequently mobility). The Recursive INternet Architecture (RINA) [1] was recently proposed as a clean-slate solution to the current problems of the Internet. In this paper, we perform an average-case cost analysis to compare the multihoming / mobility support of RINA, against that of other approaches such as LISP and MobileIP. We also validate our analysis using trace-driven simulation.

Supporting therapist engagement in evidence based practice: Developing a continuing education programme through participatory action research

Therapists find it challenging to integrate research evidence into their clinical decision-making because it may involve modifying their existing practices. Although continuing education (CE) programmes for evidence-based practice (EBP) have employed various approaches to increase individual practitioner’s knowledge and skills, these have been shown to have little impact in changing customary behaviours. To date, there has been little attempt to actively engage therapists as collaborators in developing educational processes concerning EBP. The researcher collaborated with seven clinical therapists (one occupational therapist, four physiotherapists and two speech and language therapists) enrolled in a new post-qualification Implementing Evidence in Therapy Practice (IETP) MSc module to monitor and adapt the learning programme over ten weeks. The participating therapists actively engaged in participatory action research (PAR) iterative cycles of reflecting→ planning→ acting→ observing→ reflecting with the researcher. Mixed methods were used to evaluate the IETP module and its influence on therapists’ subsequent engagement in EBP activities. Data were gathered immediately on completion of the module and five months later. Immediate post-module findings revealed four components as being important to the therapists: 1) characteristics of the learning environment; 2) acquisition of relevant EBP skills; 3) nature of the learning process; and 4) acquiring confidence. The two themes and sub-themes which emerged from individual interviews conducted five months post-module expanded on the four components already identified. Theme 1: Experiencing the learning (sub-themes: module organisation; learning is relational; improving the module); and theme 2: Enacting the learning through a new way of being (sub-themes: criticality and reflection; self agency; modelling EBP behaviours; positioning self in an EB work culture). The therapists’ perspectives had by then shifted from that of a learner to that of a clinician constructing a new sense of self as an evidence-based practitioner. Findings from this study underline the importance of the process of socially constructed knowledge and of empowering learners through collaboratively designed continuing education programmes. In the student-driven learning environment, therapists chose repetitive skill-building and authentic problem-solving activities which reflected the complexity of the environments to which they were expected to transfer their learning. These findings have implications for educators designing EBP continuing education programmes, during which students develop professional ways of being.

Human interfaces to structured documents

This research investigates some of the reasons for the reported difficulties experienced by writers when using editing software designed for structured documents. The overall objective was to determine if there are aspects of the software interfaces which militate against optimal document construction by writers who are not computer experts, and to suggest possible remedies. Studies were undertaken to explore the nature and extent of the difficulties, and to identify which components of the software interfaces are involved. A model of a revised user interface was tested, and some possible adaptations to the interface are proposed which may help overcome the difficulties. The methodology comprised: 1. identification and description of the nature of a ‘structured document’ and what distinguishes it from other types of document used on computers; 2. isolation of the requirements of users of such documents, and the construction a set of personas which describe them; 3. evaluation of other work on the interaction between humans and computers, specifically in software for creating and editing structured documents; 4. estimation of the levels of adoption of the available software for editing structured documents and the reactions of existing users to it, with specific reference to difficulties encountered in using it; 5. examination of the software and identification of any mismatches between the expectations of users and the facilities provided by the software; 6. assessment of any physical or psychological factors in the reported difficulties experienced, and to determine what (if any) changes to the software might affect these. The conclusions are that seven of the twelve modifications tested could contribute to an improvement in usability, effectiveness, and efficiency when writing structured text (new document selection; adding new sections and new lists; identifying key information typographically; the creation of cross-references and bibliographic references; and the inclusion of parts of other documents). The remaining five were seen as more applicable to editing existing material than authoring new text (adding new elements; splitting and joining elements [before and after]; and moving block text).