第 6 章 おわりに
6.2 今後の展望
本論文により，システムを抽象的に記述し，それを抽象解釈しながら段階的にそのシス テムを詳細化するための理論はほぼ確立した。今後，この理論をいかに他のシステムに応 用し，実用的な方法論を提案，実装し，その有効性を示すかが課題となる。5.3.4節にISDR 法に適してるプロセスの概略を述べたが，実際にこのプロセスを利用するには問題点が多 い。要求仕様の工程と設計，実装のプログラムの対応関係がうまくつけることがこの問題 と鍵となるだろう。
本研究の究極的な課題は，環境や要求の変化に柔軟に対応できるソフトウェアの発展的 な開発手法の提案である。そのようなソフトウェア開発では，環境や要求が変化した場合，
そのための処理とそれまでのソフトウェアから新しいソフトウェアを合成する手法を規定 する必要がある。本論文では，そのための原理の一つになるであろうシステムを構成する プ リミティブな要素の抽象度に着目する方法を提案した。将来，この原理に基づいたソフ トウェアの発展的な開発手法が提案されることを期待する。
謝辞
本研究を行なうに当たり, 終始御指導を賜わった片山 卓也教授に深謝致します.
また,日頃から有益な御助言をいただき,多面に渡って励ましていただいた片山研究室 助 手 鈴木 正人博士に感謝致します.
最後に, 本論文をまとめるに当たって御協力いただいた片山研究室の諸兄に厚く御礼申 し上げます.
参考文献
[1] W. W. Royce. Managingthe Developmentof Large Software Systems: Concepts and
Techniques. InProceedingsof the9th International ConferenceonSoftware
Engineer-ing, pages 328{339. IEEE Comptuer So ciety Press, 1987.
[2] W. Bischofberger and G. Pomberger, editors. PROTOTYPING-ORIENTED
SOFT-WRE DEVEPLOPMENTCONCEPTS AND TOOLS. Springer-Verlag, 1992.
[3] B. W. Boehm. A Spiral Mo del of Software Development and Enhancement. IEEE
Computer, 21:61{72, 1988.
[4] PamelaZave. The Op erational Versus the ConventionalApproachto Software
Sevel-opment. CACM, 27(2):104{118, 1984.
[5] Glenford J. Myers,国友義久, 伊藤武夫訳, 編. ソフトウェアの複合/構造化設計. 近代 科学社,1979.
[6] Carroll Morgan, editor. Programming from Specications Second Edition. Prentice
Hall, 1994.
[7] Samon Abramskyand Chris Hankin, editors. ABSTRACT INTERPRETATION OF
DECLARATIVE LANGUAGE. Ellis Horwo o d Limited,1987.
[8] Robin Milner, editor. TheDenition of Standard ML. The MIT Press, 1990.
[9] 横内 寛文, 編. プログラム意味論. 共立出版,1994.
[10] 米澤明憲, 柴山悦哉, 編. モデルと表現. 岩波書店,1992.
WAREDEVELOPMENT(SECONDEDITION) . MichaelJacksonSystems,Limited,
1989.
[12] Robert Balzer. Automated Enhancement of KnowledgeRepresentations. In Aravind
Joshi, editor, Proceedings of the 9th International Joint Conference on Articial
In-telligence,pages 203{207, Los Angeles, CA,1985. Morgan Kaufmann.
[13] Bernard H. Boar, editor. Application prototyping : a requirements denition strategy
for the '80s. Wiley, 1984.
[14] Christiane Floyd. A SYSTEMATIC LOOK AT PROTOTYPING. In R.Budde,
K.Kuhlenkamp,L.Mathiassen,and H.Zullighoven, editors,Approachestoprototyping,
pages 1{17. Springer-Verlag, 1984.
[15] Valdis Berzins, editor. Software Merging and Slicing. IEEE Computer Society Press,
1995.
[16] 二木厚吉,外山芳人.項書き換え関数型計算モデルとその応用.情報処理,24(2):133{146, 1983.
[17] Joseph Goguen and Jose Meseguer. RAPID PROTOTYPING IN THE OBJ
EXE-CUTABLE SPECIFICATION LANGUAGE. In ACM SIGSOFT SOFTWARE
EN-GINEERING NOTES,pages 75{84, 1982.
[18] 井田哲雄,田中二郎,編. 続新しいプログラミング・パラダ イム,4章,pages 77{105. 岩 波書店,1990.
[19] Martin S.Feather. CardinalityEvolutioninSp ecications. InIl Skokie,editor,SEKE
2nd International Conference, pages 575{583. KnowledgeSystems Institute, 1990.
[20] 鶴巻 維男,菊地 豊,片山 卓也. ソフトウェア進化に基づくフォールトトレラント手法. 第11回大会論文集,pages 129{132. 日本ソフトウェア科学会, 1994.
[21] 織田 健, 片山 卓也. 出力指向の段階的詳細化に基づく設計法. 情報処理学会論文誌,
34(11):2251{2264, 1993.
sign: The Problemwith Lifts. In Fourth International Workshop on Software
Speci-cationand Design,pages 265{268. Computer So ciety Press of the IEEE, 1987.
[23] W. Reisig. Petri Nets in Software Engineering. Lecture Notes in Computer Science,
255:63{96, 1986.
[24] Carroll Morgan and P. H . B. Gardiner. Data Renement by Calculation. Acta
Informatica,27(6):481{503, 1990.
[25] 織田 健. データ構造の段階的詳細化に基づくソフトウェア設計法. 博士論文, 東京工 業大学 大学院 博士課程 情報工学専攻,1993.
[26] 鶴巻 維男,片山 卓也. インクリメンタル・インプリメンテーションにもとづくプ ログ ラミング. 修士論文,東京工業大学 情報工学専攻,1993.
[27] P.R.バード, ワド ラー共著, and 武市 正人 訳,編. 関数プログラミング. 近代科学社,
1991.
[28] 小野諭,小川瑞史. 抽象実行 そのフレームワークと実例. コンピュータソフトウェア,
2,4,6(13), 1996.
[29] Robin Milner, editor. Commentary on Standard ML. The MIT Press, 1991.
[30] Atsushi Ohori and Peter Buneman. Static TypeInference for Parametric Classes. In
ACM OOPSLA Conference,pages 445{456, 1989.
[31] 所 真理雄,松岡 聡,垂水 浩幸,編. オブジェクト指向コンピューティング,chapter10.
岩波書店, 1993.
[32] Glynn Winskel, editor. The Formal Semantics of Programming Languages.
Founda-tions of Computing Series.The MIT Press, 1993.