A meta-analysis approach to refactoring and XP

The mechanics of seventy-two different Java refactorings are described fully in Fowler's text. In the same text, Fowler describes seven categories of refactoring, into which each of the seventy-two refactorings can be placed. A current research problem in the refactoring and XP community is assessing the likely time and testing effort for each refactoring, since any single refactoring may use any number of other refactorings as part of its mechanics and, in turn, can be used by many other refactorings. In this paper, we draw on a dependency analysis carried out as part of our research in which we identify the 'Use' and 'Used By' relationships of refactorings in all seven categories. We offer reasons why refactorings in the 'Dealing with Generalisation' category seem to embrace two distinct refactoring sub-categories and how refactorings in the 'Moving Features between Objects' category also exhibit specific characteristics. In a wider sense, our meta-analysis provides a developer with concrete guidelines on which refactorings, due to their explicit dependencies, will prove problematic from an effort and testing perspective

Modelling and simulation of advanced non-linear autopilot designs

This paper presents the simulation in ESL of a non-linear 6 degree-of-freedom missile model with an advanced, non-linear, multivariable autopilot designed using Rate Actuated Inverse Dynamics (RAID) methods. High performance control of non-linear systems requires the design of advanced, non-linear control systems, such as those used in autopilot design. Traditional linear control system design and analysis techniques are not sufficient for non-linear systems and current non-linear analysis methods are extremely limited. Therefore, the only method available to fully assess the performance of non-linear controller designs is simulation of the non-linear system. For this reason it is an essential part of the analysis and design process of these types of controllers. Non-linear dynamics can be continuous or discontinuous, the aerodynamics of a missile are non-linear but since they are continuous they do not represent a simulation challenge. However, there are multiple sets of discontinuous dynamics present in both the missile control surface model and the autopilot which can lead to multiple discontinuities being reached simultaneously, providing a challenging modeling exercise. The paper demonstrates how this kind of behavior can be successfully modeled and simulated within ESL using a simple switching logic

Anticoagulants for acute ischaemic stroke

Peer reviewedPublisher PD

The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph

In this paper, we describe and then appraise a testing taxonomy proposed by van Deursen and Moonen (VD&M) based on the post-refactoring repeatability of tests. Four categories of refactoring are identified by VD&M ranging from semantic-preserving to incompatible, where, for the former, no new tests are required and for the latter, a completely new test set has to be developed. In our appraisal of the taxonomy, we heavily stress the need for the inter-dependence of the refactoring categories to be considered when making refactoring decisions and we base that need on a refactoring dependency graph developed as part of the research. We demonstrate that while incompatible refactorings may be harmful and time-consuming from a testing perspective, semantic-preserving refactorings can have equally unpleasant hidden ramifications despite their advantages. In fact, refactorings which fall into neither category have the most interesting properties. We support our results with empirical refactoring data drawn from seven Java open-source systems (OSS) and from the same analysis form a tentative categorization of code smells

Enhancing Practice and Achievement in Introductory Programming With a Robot Olympics

© 2015 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information

A framework for the simulation of structural software evolution

This is the author's accepted manuscript. The final published article is available from the link below. Copyright @ 2008 ACM.As functionality is added to an aging piece of software, its original design and structure will tend to erode. This can lead to high coupling, low cohesion and other undesirable effects associated with spaghetti architectures. The underlying forces that cause such degradation have been the subject of much research. However, progress in this field is slow, as its complexity makes it difficult to isolate the causal flows leading to these effects. This is further complicated by the difficulty of generating enough empirical data, in sufficient quantity, and attributing such data to specific points in the causal chain. This article describes a framework for simulating the structural evolution of software. A complete simulation model is built by incrementally adding modules to the framework, each of which contributes an individual evolutionary effect. These effects are then combined to form a multifaceted simulation that evolves a fictitious code base in a manner approximating real-world behavior. We describe the underlying principles and structures of our framework from a theoretical and user perspective; a validation of a simple set of evolutionary parameters is then provided and three empirical software studies generated from open-source software (OSS) are used to support claims and generated results. The research illustrates how simulation can be used to investigate a complex and under-researched area of the development cycle. It also shows the value of incorporating certain human traits into a simulation—factors that, in real-world system development, can significantly influence evolutionary structures

Design of Strongly Modulating Pulses to Implement Precise Effective Hamiltonians for Quantum Information Processing

We describe a method for improving coherent control through the use of detailed knowledge of the system's Hamiltonian. Precise unitary transformations were obtained by strongly modulating the system's dynamics to average out unwanted evolution. With the aid of numerical search methods, pulsed irradiation schemes are obtained that perform accurate, arbitrary, selective gates on multi-qubit systems. Compared to low power selective pulses, which cannot average out all unwanted evolution, these pulses are substantially shorter in time, thereby reducing the effects of relaxation. Liquid-state NMR techniques on homonuclear spin systems are used to demonstrate the accuracy of these gates both in simulation and experiment. Simulations of the coherent evolution of a 3-qubit system show that the control sequences faithfully implement the unitary operations, typically yielding gate fidelities on the order of 0.999 and, for some sequences, up to 0.9997. The experimentally determined density matrices resulting from the application of different control sequences on a 3-spin system have overlaps of up to 0.99 with the expected states, confirming the quality of the experimental implementation.Comment: RevTeX3, 11 pages including 2 tables and 5 figures; Journal of Chemical Physics, in pres

Possible relationship between common genetic variation and white matter development in a pilot study of preterm infants

Background The consequences of preterm birth are a major public health concern with high rates of ensuing multisystem morbidity, and uncertain biological mechanisms. Common genetic variation may mediate vulnerability to the insult of prematurity and provide opportunities to predict and modify risk. Objective To gain novel biological and therapeutic insights from the integrated analysis of magnetic resonance imaging and genetic data, informed by prior knowledge. Methods We apply our previously validated pathway-based statistical method and a novel network-based method to discover sources of common genetic variation associated with imaging features indicative of structural brain damage. Results Lipid pathways were highly ranked by Pathways Sparse Reduced Rank Regression in a model examining the effect of prematurity, and PPAR (peroxisome proliferator-activated receptor) signaling was the highest ranked pathway once degree of prematurity was accounted for. Within the PPAR pathway, five genes were found by Graph Guided Group Lasso to be highly associated with the phenotype: aquaporin 7 (AQP7), malic enzyme 1, NADP(+)-dependent, cytosolic (ME1), perilipin 1 (PLIN1), solute carrier family 27 (fatty acid transporter), member 1 (SLC27A1), and acetyl-CoA acyltransferase 1 (ACAA1). Expression of four of these (ACAA1, AQP7, ME1, and SLC27A1) is controlled by a common transcription factor, early growth response 4 (EGR-4). Conclusions This suggests an important role for lipid pathways in influencing development of white matter in preterm infants, and in particular a significant role for interindividual genetic variation in PPAR signaling