This paper gives an overview of the development of the field of Knowledge Engineering over
the last 15 years. We discuss the paradigm shift from a transfer view to a modeling view and …

Problem-solving methods provide reusable architectures and components for implementing
the reasoning part of knowledge-based systems. The Unified Problem-Solving Method …

Program synthesis research aims at developing a program that develops correct programs
from specifications, with as much or as little interaction as the specifier wants. I overview the …

This paper presents a perspective of generative reuse technologies as they have evolved
over the last 15 years or so and a discussion of how generative reuse addresses some key …

Since the early days of programming and automated reasoning, researchers have
developed methods for systematically constructing programs from their specifications …

This paper explores the use of specification matching to discover and select component
adaptation strategies. This is done within a formal framework that integrates specification …

This paper presents a mechanizable framework for software development by re nement. The
framework is based on a category of speci cations. The key idea is representing knowledge …

Planware is a domain-specific generator of high-performance scheduling software, currently
being developed at the Kestrel Institute. Architecturally, Planware is an extension of the …

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous
approaches to the issue of producing correct collectors have mainly been based on posit …

Researchers in Artificial Intelligence have traditionally been classified into two categories:
the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on …