Metaheuristic techniques such as genetic algorithms, simulated annealing and tabu search
have found wide application in most areas of engineering. These techniques have also …

Genetic improvement uses automated search to find improved versions of existing software.
Genetic improvement has previously been concerned with improving a system with respect …

Domain-specific languages (DSLs) can be viewed from both a programming language and
a software architecture perspective. The goal of this paper is to relate the two viewpoints. In …

Design patterns are a valuable mechanism for emphasizing structure, capturing design
expertise, and facilitating restructuring of software systems. Patterns are typically applied in …

This book presents the principles and techniques of program specialization—a general
method to make programs faster (and possibly smaller) when some inputs can be known in …

In the last issue of Strategic Software Engineering I began talking about ecosystems and
software product lines. The network of dependencies among an organization and its …

Choosing the accuracy of program analyses is a crucial issue when designing and
develo** a partial evaluator capable of treating realistic programs, and in particular legacy …

A formal relationship between program slicing and partial evaluation Page 1 DOI 10.1007/s00165-005-0077-6
BCS © 2006 Formal Aspects of Computing (2006) 18: 103–119 Formal Aspects of Computing …

The purpose of a software product line organization is to produce products. Some
organizations adopt the software product line approach because they want better quality …

Programs that process data that reside in files are widely used in varied domains, such as
banking, healthcare, and web-traffic analysis. Precise static analysis of these programs in …