Models for predicting software reliability in the early phases of development are of
paramount importance since they provide early identification of cost overruns, software …

Data analysis is an important scientific task which is required whenever information needs to
be extracted from raw data. Statistical approaches to data analysis, which use methods from …

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 …

Program synthesis is a process of producing an executable program from a specification.
Algorithmic synthesis produces the program automatically, without an intervention from an …

Recent years have seen great progress in automated synthesis techniques that can
automatically generate code based on some intent expressed by the programmer, but …

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

In this paper, we describe a way to improve the performance of hand-tailorable planners by
compiling each domain description into a separate domain-specific planner. We discuss …

Signal flow graphs are combinatorial models for linear dynamical systems, playing a
foundational role in control theory and engineering. In this survey, we overview a series of …

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 …

Dynamic composition of services from components at runtime can help to provide flexible
service infrastructures, but requires advanced composition techniques. To address this …