@techreport{oai:ipsj.ixsq.nii.ac.jp:00021973,
 author = {大坪稔房 and 原田, 実 and Toshifusa, Ohtubo and Minoru, Harada},
 issue = {55(1994-SE-099)},
 month = {Jul},
 note = {本研究の目的は，対象をバッチ型のファイル処理問題における帳票出力要求やファイル出力／更新要求に限定し，この要求を実現するための出力データと既存ファイル内のデータとの間の関係を分析する理論を確立し，これに基づく要求分析の自動化システムGRACE　(nerative　Requirement　Analysis　&　Cognition　Engi)を開発することである．この際，要求の曖昧性や矛盾や実行可能性なども検証する．GRACEが行うこのデータ間の関係付けが自動化された要求の意味解析である．ここには，データがどの実体や関連のものか，どのファイルに格納されているか，その値が他のデータ値とどのような関数関係を持つか，などが含まれる．結果であるデータ項目間の関係と出力／更新要求は，等関係式という数式の集合で表した形式的な仕様として出力され，後続する設計の自動化システムであるEOSへの入力になる．, Almost all of the previous automatic programming systems have set importance to the conversion from a formal specification to a program, but there are very few systems which automate requirement analysis. The purpose of our research is, focusing on the requirements of batch type file processings, to establish the theory to analyse the functional dependency among the data on the specified output/update form and the stored data, and to develop the automatic requirement analysis system GRACE:Generative Requirement Analysis & Cognition Engine based on the proposed theory. GRACE can also verify the ambiguity, incompleteness, and executability of the requirement. Our requirement analysis includes the clarification of to whata entity or association the required data belongs, in what file it is stored, what relation it bears with the stored data. The anlysed relations and output/update requirements are represented formally as the set the equations called EOS specification, which is able to be input to the succeeding design automation system EOS.},
 title = {出力様式から形式的要求仕様を生成する要求分析システムGRACE},
 year = {1994}
}