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.

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in Clouds: four kinds of schema.

The proposed research will focus on developing a novel approach to solve Software Service Evolution problems in Computing Clouds. The approach will support dynamic evolution of the software service in clouds via a set of discovered evolution patterns. An initial survey informed us that such an approach does not exist yet and is in urgent need. Evolution Requirement can be classified into evolution features; researchers can describe the whole requirement by using evolution feature typology, the typology will define the relation and dependency between each features. After the evolution feature typology has been constructed, evolution model will be created to make the evolution more specific. Aspect oriented approach can be used for enhance evolution feature-model modularity. Aspect template code generation technique will be used for model transformation in the end. Product Line Engineering contains all the essential components for driving the whole evolution process.

Investigating the evolution and stability of a resource limited artificial immune system.

Timmis J and Neal M J. Investigating the evolution and stability of a resource limited artificial immune system. In Proceedings of GECCO - special workshop on artificial immune systems, pages 40-41. AAAI press, 2000.

Quaternary palaeogeomorphologic evolution of the Wadi Faynan area, Southern Jordan

McLaren, S. Gilbertson, D. Grattan, J. Hunt, C. Duller, G. Barker, G. Quaternary palaeogeomorphologic evolution of the Wadi Faynan area, Southern Jordan. Palaeogeography, Palaeoclimatology, Palaeoecology. 2004. 205. pp 131-154

How Useful is Lifelong Evolution for Robotics

Walker,J. and Wilson,M.S., 'How Useful is Lifelong Evolution for Robotics', Proceedings of the 7th International Conference on Simulation of Adaptive Behaviour, ed Hallam,B. and Floreano,D. and Hallam,J. and Hayes,G. and Meyer,J.A., pp 347-348, 2002, MIT Press

Lifelong Evolution for Adaptive Robots

Walker,J. and Wilson,M.S., 'Lifelong Evolution for Adaptive Robots', Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2002, October, pp 984--989

Hybrid simulation of ion cyclotron resonance in the solar wind: evolution of velocity distribution functions

Li, Xing; Habbal, S.R., (2005) 'Hybrid simulation of ion cyclotron resonance in the solar wind: evolution of velocity distribution functions', Journal of Geophysical Research 110(A10) pp.A10109 RAE2008

Analysis of Sequence Periodicity in E. coli Proteins: Empirical Investigation of the ?Duplication and Divergence? Theory of Protein Evolution

Gatherer, D., and McEwan, N.R. (2003). Analysis of sequence periodicity in E. coli proteins: empirical investigation of the 'duplication and divergence' theory of protein evolution. Journal of Molecular Evolution 57, 149-158. RAE2008

Frequency of word-use predicts rates of lexical evolution throughout Indo-European history

Mark Pagel, Quentin D. Atkinson & Andrew Meade (2007). Frequency of word-use predicts rates of lexical evolution throughout Indo-European history. Nature, 449,717-720. RAE2008

Rapid compensatory evolution promotes the survival of conjugative plasmids

Conjugative plasmids play a vital role in bacterial adaptation through horizontal gene transfer. Explaining how plasmids persist in host populations however is difficult, given the high costs often associated with plasmid carriage. Compensatory evolution to ameliorate this cost can rescue plasmids from extinction. In a recently published study we showed that compensatory evolution repeatedly targeted the same bacterial regulatory system, GacA/GacS, in populations of plasmid-carrying bacteria evolving across a range of selective environments. Mutations in these genes arose rapidly and completely eliminated the cost of plasmid carriage. Here we extend our analysis using an individual based model to explore the dynamics of compensatory evolution in this system. We show that mutations which ameliorate the cost of plasmid carriage can prevent both the loss of plasmids from the population and the fixation of accessory traits on the bacterial chromosome. We discuss how dependent the outcome of compensatory evolution is on the strength and availability of such mutations and the rate at which beneficial accessory traits integrate on the host chromosome.