Software: Practice and Experience 24 (7): 659-676 (1994)
[paper from Wiley Online Library | technical report TR-90-01] |
ABSTRACT |
We investigate into the feasibility of applying logic programming to structured design. We propose to use Prolog as a common machinery for the representation of various structured tools. We illustrate through examples how to produce structure charts from data flow diagrams, and evaluate them according to commonly recommended design guidelines. If the structure charts produced are not satisfactory, the inherent backtracking mechanism in Prolog will help to produce other versions for further evaluation. |
1. | This project is supported in part by a grant of the University Grants Committee Research Grant, and a research and conference grant of The University of Hong Kong. Part of this research was done by the first author at the Programming Research Group, University of Oxford. | ||
2. | (Corresponding author.) | ||
Department of Computer Science,
The University of Hong Kong,
Pokfulam, Hong Kong.
Email: |
|||
3. | Currently with the Centre for Software Analysis and Testing, Swinburne University of Technology, Hawthorn, Australia. | ||
4. | School of Professional and Continuing Education, The University of Hong Kong. | ||
5. | Department of Computer Science, Jinan University. | ||
6. | Currently with the Department of Computer and Information Science, University of Pennsylvania. |
EVERY VISITOR COUNTS: |