Design of a text formatter with AUTO STAR

Authors:
M. Zhu
Affiliations:
Beijing Institute of Systems Engineering, P .O. Box 933-19, Beijing 100083, People's Republic of China
Venue:
ACM SIGAda Ada Letters
Year:
1990

Citing 5
Cited 0

Transformational programming and the paragraph problem

Science of Computer Programming
Transformational program development in a particular problem domain

Science of Computer Programming
AUTO STAR—a software development system

ACM SIGPLAN Notices
A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
Abstract data types and software validation

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

The formal development of a prototyping text formatter with the aid of AUTO STAR (AUTOmati c Specification To Ada Realization) has been introduced. This experiment shows that a large software system can be developed with a formal approach in a very easy and fast way.