1991年度 研究業績

論文

Seiichi Kawano, Kouichi Ono , Yoshiaki Fukazawa  and Toshio Kadokura, “The Applicability of Formal Specification to Maintenance of Large Scale Software”, Journal of Information Processing, 14(3), pp. 301-309 , Dec. 31, 1991.

国際会議

Koichi Ono, Seiichi Kawano, Yoshiaki Fukazawa and Toshio Kadokura, “A Resolution Method from Predicate Logic Specification into Executable Code”, The 25th. Hawaii International Conference on System Sciences, Hawaii, USA, Jan. 7-10, 1992. DOI: 10.1109/HICSS.1992.183262

Masayoshi Sakakura, Yoshiaki Fukazawa and Toshio Kadokura,“Definition and Detection of User Defined Irregular Styles”, International Software Quality Exchange, San Francisco, Mar. 10-11, 1992.

シンポジウム

新井浩志, 深澤良彰, 門倉敏夫, “設計支援環境DATEにおける論理設計支援機能 PLAtoolsの統合化”, 情報処理学会 DAシンポジウム’91論文集 Vol. 91, No. 3, pp. 57-60, 1991年8月.

福田剛志, 白貞元, 深澤良彰, 門倉敏夫, “プログラム‐仕様=設計上の決定”, 知能ソフトウェア工学の動向と展望シンポジウム論文集, pp. 102-108, Mar., 1992.

研究会

栗野俊一, 廣瀬健, 坂倉正純, 深澤良彰, “帰納的に定義された自然数列の計算の超並列化”, 情報処理学会研究報告 ハイパフォーマンスコンピューティング(HPC), Vol. 1991, No. 61, pp. 83-90, 1991年7月17日.

鈴木英俊, 小松秀昭, 深澤良彰, 門倉敏夫, “条件実行アーキテクチャGIFTのメモリインタフェース”, 情報処理学会研究報告 計算機アーキテクチャ(ARC), Vol. 1991, No. 64, pp. 95-102 , 1991年7月19日.

中村憲一郎, 栗野俊一, 深澤良彰, 門倉敏夫,“埋込みモデルにおけるエラー埋込みの自動化について”, 情報処理学会研究報告 ソフトウェア工学(SE), Vol. 1991, No.  66, pp. 111-118, 1991年7月19日.

中谷信太郎, 鈴木英俊, 小松秀昭, 深澤良彰, 門倉敏夫, “条件実行アーキテクチャGIFTの最適化コンパイラ”, 情報処理学会研究報告 計算機アーキテクチャ(ARC), Vol. 1991, No. 100, pp. 29-36, 1991年11月21日.

古谷信俊, 小野康一, 深澤良彰, 門倉敏夫, “ソフトウェア変更時の効率的なテストケース生成手法”, 情報処理学会研究報告 ソフトウェア工学(SE), Vol. 1992, No. 10,  pp. 1-8, 1992年2月6日.

栗野俊一, 深澤良彰, “変換系の検証における分割統治法の有効性について”, 情報処理学会研究報告 ソフトウェア工学(SE), Vol. 1992, No. 16, 1992年3月3日.

全国大会

栗野俊一, 深澤良彰, “無限の大きさを持つ木の公平な重み付けについて”, 日本ソフトウェア科学会 第8回大会, 北海道, 1991年9月25~28日.

小野康一, 松並邦拓, 深澤良彰, 門倉敏夫, “部分関数定義の解釈による仕様言語Z++の実行系”, 日本ソフトウェア科学会 第8回大会, 北海道, 1991年9月25~28日.

牧野浩丈, 新井浩志, 福田剛志, 深澤良彰, 門倉敏夫, “推論過程における類推の積極的な利用法について”, 情報処理学会 第43回全国大会, 愛知県, 1991年10月19~22日.

小野朗, 新井浩志, 長谷川拓己, 深澤良彰, 門倉敏夫, “トップダウン設計手法に基づいた回路図エディタ”, 情報処理学会 第43回全国大会, 愛知県, 1991年10月19~22日.

松澤裕史, 栗野俊一, 深澤良彰, 門倉敏夫, “機能仕様と品質を用いた部品検索のための一手法” , 情報処理学会 第43回全国大会, 愛知県, 1991年10月19~22日.

新井俊哲, 小野康一, 深澤良彰, 門倉敏夫, “非決定的システムの形式的仕様に対する動作確認手法”, 情報処理学会 第43回全国大会, 愛知県, 1991年10月19~22日.

葉安麒, 新井浩志, 深澤良彰, 門倉敏夫, “設計環境におけるツールの更新に対する影響範囲の決定手法”, 情報処理学会 第44回全国大会, 神奈川県, 1992年3月17~20日.

栗野俊一, 深澤良彰, “分割統治法を用いた変換系の検証手法について” , 情報処理学会 第44回全国大会, 神奈川県, 1992年3月17~20日.

丸山勝久, 小野康一, 門倉敏夫, 深澤良彰, “プログラム変更に対する正当性検証技法の適用”, 情報処理学会 第44回全国大会, 神奈川県, 1992年3月17~20日.

その他

深澤良彰, “ホスト・パソコンによる教育から、ワークステーションによる教育への展開”, 私立大学情報教育協会, 部門研修会, 1991年10月16日.

原田賢一, 宇都宮公訓, 深澤良彰, “オブジェクト指向ソフトウェア技術の最新動向”, Computer Today No. 46, 1991年11月.

深澤良彰, “新しいソフトウェアパラダイム”, コンピュートロール 第37号, コロナ社, 1991年12月20日.

深澤良彰, “LAN-その概念とシステム”, INTRO TO COMPUTER SYSTEM, 数学セミナー 1991-6, 日本評論社, 1991年6月.

前の記事

1990年度 研究業績

次の記事

1992年度 研究業績