プログラムの自動生成における入出力条件に関する一考案

概要

論文の詳細を見る
Since the 1980's, object oriented programming and structured programming have been hot topics for increasing software productivity. Usually, software has been designed by programmers while other products are machine made. However, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. In this paper, a method of automatic program generation is proposed. This paper uses specifications written in easily understood language, and data structures with customized target objects using the generic PROLOG module library. During program generation, the automatic program generation system MAPP tries to compensate for any missing specifications which were not completely described using input and output conditions of modules. In addition Petri Nets will be used during the generated programs conditions consideration.