ソフトウェア場概念によるオブジェクト指向 システムのクラス抽出過程定式化とその検証

大木幹雄, “ソフトウェア場概念によるオブジェクト指向 システムのクラス抽出過程定式化とその検証,”【pdf】 日本大学大学院理工学研究科量子理工学専攻 博士（理学）論文（2005)