The inductive synthesis of recursive logic programs from incomplete information, such as
input/output examples, is a challenging subfield both of Inductive Logic Programming (ILP) …

Abstract The specification language Attempto Controlled English (ACE) is a controlled
natural language, ie a subset of standard English with a domain-specific vocabulary and a …

The use of Formal Methods (FMs) in software development holds much promise for
constructing provably correct, or at least highly dependable software. That said, the use of …

Errata, detected in Taylor's Logarithms. London: 4to, 1792.[sic] 14.18. 3 6 Kk Co-sine of
3398 3298-Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms …

Software testing plays an important role in early verification of software systems and it
enforces quality in the system under development. One of the challenging tasks in the …

The intent of this special issue was to bring together developments ininductive programming
(Partridge, 1997) that have a direct bearing on software development, and to promote a …

We present a proposal of a quality model for natural language requirements that
concentrates on linguistic properties of requirements documents. We deploy the quality …

The use of logic in identifying and analysing inconsistency in requirements from multiple
stakeholders has been found to be effective in a number of studies. Default reasoning is a …

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

The introduction of formal methods into the commercial community has been slow. This
might, in part, be due to lack of guidance for program managers responsible for execution of …