Software quality is an urgent problem. There are so many bugs in industrial program source code that mature software projects are known to ship with both known and unknown bugs [1], and the number of outstanding defects typically exceeds the resources available to address them [2]. This has become a pressing economic problem whose costs in the United States can be measured in the billions of do...

A running system is presented which provides powerful support to the user while designing programs . This system automatically constructs program sche-mas by decomposition of the datas involved in the specification. Datas are specified within a knowledge base as data types having associated decomposition patterns. The user may combine different data-decomposition strategies with any of its deco...

A key goal in machine learning and artificial intelligence is to automatically and dynamically decompose problems into simpler problems in order to facilitate their solution. This paper describes two extensions to genetic programming, called "automatic" function definition and "hierarchical automatic" function definition, wherein functions that might be useful in solving a problem are automatic...

This paper describes how genetic programming can be applied to a simple problem. The problem is to discover program, which can control grass-cutter on a toroidal grid with randomly arranged obstacles, to cut largest area without redundant moves. This paper shows, how selection of suitable individuals for creation of next generation of individual solutions (=programs) affects results.

Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and fo...

Industrial robots play an important role in industry, due to their exibility. Many applications (almost all that require human intervention) may be performed with advantages by robots. Nevertheless, set-up operations, necessary when changing production models, are still tricky and time-consuming. It is common to have detailed data of working pieces in computer aided design (CAD) Žles, resultin...

This paper describes AMPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a...

Event Log Exchange (ELE) is a common programming pattern based on immutable state and messaging. ELE sidesteps traditional challenges in distributed consistency, at the expense of introducing new challenges in designing space reclamation protocols to avoid consuming unbounded storage. We introduce Edelweiss, a sublanguage of Bloom that provides an ELE programming model, yet automatically reclai...

The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conventional sequential programming paradigm for parallel programming: single-threaded designs must be decomposed into dependent, interacting tasks. The Java programming language has built-in thread support and is therefore s...

We develop algorithms capable of tackling robust black-box optimisation problems, where the number model runs is limited. When a desired solution cannot be implemented exactly aim to find one, worst case in an uncertainty neighbourhood around still performs well. To investigate improved methods we employ automatic generation approach: Grammar-Guided Genetic Programming. algorithmic building blo...