Transformational Implementation: An Example

Authors:
R. Balzer
Affiliations:
Information Sciences Institute, University of Southern California
Venue:
IEEE Transactions on Software Engineering
Year:
1981

Citing 0
Cited 7

The design and an example use of Hearsay-III

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
A knowledge based program editor

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A formal representation for plans in the programmer's apprentice

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Using abstraction to automate program improvement by transformation

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
The transformational approach to database engineering

GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Aspect-Oriented development of crosscutting features in distributed, heterogeneous systems

Transactions on Aspect-Oriented Software Development II
Software engineering as the design theoretic transformation of software problems

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed.