ABSTRACT

A program development system has been written based on Jackson's structured programming methodology. It accepts input and output data structures and generates pseudo-code. Executable operations other than computations can be generated automatically. The number of input and output data structures can be unlimited since they can be accepted in turn by the system. Backtracking is solved by accepting "quit if" operations in the data strnctures. The system also supports program inversion, which is essential for structure clash and for multi-user interactive systems. Keywords: automatic programming, software development, software engineering, structured programming

1. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong. Email:

EVERY VISITOR COUNTS: