中間データを用いるプログラム設計とその形式化

概要

論文の詳細を見る
Jackson's Structured Programming (JSP) Method is much useful particularly in business computing. By this method, we can easily construct a program structure from input-output data structures that are designed directly from the problem description to be processed. But we can hardly apply this method for the case having only a few input-output data or the case occurring structure clash. We will suggest a new design method for structured programming, getting over these difficulties, which is using intermediate data. Even in case having few input-output data, if the ploblem adapted to print intermediate results through execution then it become the problem similarly to have a lot of output data, so we can construct a data structure which is indeed equal to a program structure. This method is one that starting with a tree of output data structure, insert a intermediate data structure necessary for the output data, and so on. For this method, a design procedure and a mathematical formalization by relational models are given in this paper.
北海道情報大学の論文