The proceedings contain 16 papers. The special focus in this conference is on Aspects and Generative Approaches. The topics include: A survey and a categorization scheme of automatic programming systems;using reflecti...
ISBN:
(纸本)3540411720
The proceedings contain 16 papers. The special focus in this conference is on Aspects and Generative Approaches. The topics include: A survey and a categorization scheme of automatic programming systems;using reflective logic programming to describe domain knowledge as an aspect;aspect weaving with graph rewriting;aspects in distributed environments;lightweight and generative components I;scoping constructs for software generators;efficient object-oriented software with design patterns;an open language framework;from macros to reusable generative programming;aspect-oriented compilers;dynamic component gluing;recursive types and pattern-matching in java;C++ function object binders made easy;customizable domain analysis;a grey-box approach to component composition and an XML based component model for generating scientific applications and performing large scale simulations in a meta-computing environment.
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiability problems for Boolean circuits is de...
详细信息
In this paper we use execution-driven simulation of a scalable multiprocessor to evaluate the performance of the Andorra-I parallel logic programming system under invalidate and update-based protocols. We use two vers...
详细信息
This paper presents a genetic algorithm specially designed for job shop problems. The algorithm has a simple coding scheme and new crossover and mutation operators. A simple local search scheme is incorporated in the ...
详细信息
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged between the two keyword in the recent years....
详细信息
In this paper, we investigate a unique method of inventing linear edge enhancement operators using evolution and reconfigurable hardware. We show that the technique is motivated by the desire for a totally automated o...
详细信息
A software tool named MetaBuilder is described. MetaBuilder’s purpose is to enable the rapid creation of computerised diagram editing tools for structured diagrammatic notations. At its heart is an object-oriented, g...
详细信息
Planning is a very important AI problem, and it is also a very time-consuming AI problem. To get an idea of how complex different planning problems are, it is useful to describe the computational complexity of differe...
详细信息
The proceedings contain 23 papers. The special focus in this conference is on Fundamental Approaches to Software engineering. The topics include: A humanistic discipline of software development;specifying and analyzin...
ISBN:
(纸本)3540643036
The proceedings contain 23 papers. The special focus in this conference is on Fundamental Approaches to Software engineering. The topics include: A humanistic discipline of software development;specifying and analyzing dynamic software architectures;observational proofs with critical contexts;integrating aorta with model-based data specification languages;specifying safety-critical embedded systems with statecharts and z;an agenda for cyclic software components;algebra transformation systems and their composition;navigation expressions in object-oriented modelling;compositional verification of reactive systems specified by graph transformation;reflections on the design of a specification language;constructs, concepts and criteria for reuse in concurrent object-oriented languages;backtracking-free design planning by automatic synthesis in metaframe;rule-based refinement of high-level nets preserving safety properties;automated formal analysis of networks;behaviour analysis and safety conditions;distributed safety controllers for web services;refining formal specifications of human computer interaction by graph rewrite rules;a system for calculating with relations and relational programming and a formal language and its supporting tools for requirements engineering.
暂无评论