Sciweavers

Share
APSEC
2001
IEEE

Compilation of Specifications

9 years 10 months ago
Compilation of Specifications
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. We present a formal basis for extending a tool already used by software developers, the program compiler, to undertake much of the task automatically. This is done by devising a code generation strategy, based on program refinement theory, capable of translating specification constructs embedded in programs into executable code, without the need for programmer intervention. Keywords and phrases: Formal methods; Software engineering; Programming tools.
Colin J. Fidge
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APSEC
Authors Colin J. Fidge
Comments (0)
books