@techreport{oai:ipsj.ixsq.nii.ac.jp:00022349,
 author = {古宮, 誠一 and 佐伯, 元司 and 池, 克俊 and 大蒔, 和仁 and 白井, 豊 and 本位田真一 and 内平, 直志 and 西村, 一彦 and 大槻, 繁 and 蓬莱尚幸 and 加藤潤三 and 大林, 正晴 and 松浦, 依江子 and 上林, 憲行 and 荒谷, 徹 and 大木, 幹雄 and 松田, 元彦 and 村井, 進 and Seiichi, Komiya and Motoshi, Saeki and Katsutoshi, Ike and Kazuhito, Ohmaki and Yutaka, Shirai and Shinichi, Honiden and Naoshi, Uchihira and Kazuhiko, Nishimura and Shigeru, Ohtsuki and Hisayuki, Horai and Junzou, Kato and Masaharu, Ohbayashi and Saeko, Matsuura and Noriyuki, Kamibayashi and Tooru, Aratani and Mikio, Ohki and Motohiko, Matsuda and Susumu, Murai},
 issue = {101(1989-SE-069)},
 month = {Nov},
 note = {設計方法論と実際の設計プロセスは別物である．というのは，設計方法論は、誰が用いても同じプロセスで同じ成果が得られるほど，人間の作業を規定しているものではないからである．それ故，設計プロセスは設計方法論のインスタンスである．従って、設計方法論自身を分析するよりも，設計プロセスの事例を収集し，分析分類するほうがソフトウェアの設計プロセスを明らかにすることに繋がる．そこで、タイプの累なる問題として図書館問題とLift問題を選び，種々の仕様記述言語や設計方法論を用いて仕様記述を行なった．本稿では，この結果をもとに，仕様記述の観点から設計プロセス自身を分類するとともに，仕様記述言語や方法論を分類し，問題のタイプと設計プロセスの関係を明らかにしている．, Actual specification process do not exactly follow specification methodologies. Generally, specification metodologies do not regulate human activities precisely enough for any person who performs the same precedure to generate the same results. A specification process can be regarded as an instance of a Specificatin methodology. General characteristics of specification process can be clarified by gathering and analyzing actual instances of specification efforts rather than by studying specification methodologies. The Library problem and the Lift problem which represent different problem areas were specified with several specification languages and specification methodologies. From these results, this paper clearly addressses the relationships between specification processes and problem types by classifying specification processes as well as by classifying specification languages and specification methodologies from specific viewpoints.},
 title = {仕様記述過程モデル化のための実験と分析},
 year = {1989}
}