The replay of program derivations

A promising though radical approach to software development is to write formal specifications and then derive implementations by applying sequences of formal steps. This is often known as transformational implementation. An advantage of this approach is increased consistency between specifications and implementations. But perhaps a more important advantage is the potential for maintaining specifications rather than implementations. Because derivation sequences formally describe how implementations are constructed, the user can modify specifications and then replay the derivations to obtain new implementations.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Hasker, Robert W.

Contributors dc:contributor

• Reddy, Uday S.

• Computer Science

Statement dc:rights

• Copyright 1995 Hasker, Robert W.

Language dc:language

eng

Identifier

AAI9522116
(UMI)AAI9522116

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/21206