大西 淳 | 京都大学大型計算機センター

スポンサーリンク

概要

• 同名の論文著者
• 京都大学大型計算機センターの論文著者

関連著者

• 大西 淳

  京都大学大型計算機センター

• 大西 淳

  京都大学 工学部

• 斉藤 哲

  富士通 関西営業本部

• 小林 正和

  Nttコミュニケーションウェア(株)技術開発部

• 佐藤 眞木彦

  富士通株式会社

• 斉藤 哲

  富士通株式会社

• 小林 正和

  富士通株式会社

• 岡本 匡人

  富士通株式会社

• 島崎 眞昭

  京都大学大学院工学研究科

• 星野 聰

  京都大学大型計算機センター

• 大野 豊

  京都大学工学部情報工学教室

• 大野 豊

  京都大学・情報処理教育センター

• 島崎 眞昭

  九州大学大型計算機センター

• 垂井 良平

  富士通株式会社

• 星野 聰

  京都大学名誉教授

• 大野 豊

  京都大学工学部情報工学科

• 阿草 清滋

  名古屋大学工学部

• 服部 芳明

  (株) 日立製作所 システム開発研究所

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 星野 聰

  京都大学

• 大野 豊

  京都高度技術研究所

• 阿草 清滋

  京都大学工学部情報工学科

• 佐和 隆光

  京都大学大学院エネルギー科学研究科

• 阿草 清滋

  名古屋大学

• 服部 芳明

  京都大学

• 程 國政

  京都大学大学院工学研究所

• 佐和 隆光

  京都大学

• 大西 淳

  (京都大学)

• 四方 敏明

  京都大学

• 大西 淳

  東京大学大型計算機せンター研究開発部

もっと見る 閉じる

著作論文

• 要求フレームに基づいたソフトウェア要求仕様化技法
• 要求定義のための要求フレーム
• 実行時エラーのプログラム相談システム『Consult:R』
• コンパイルエラーのプログラム相談システム『Consult:C』の評価
• Consult(コンパイル編)のシステム化について
• プログラム相談プロジェクトConsultの全体構想
• FORTRANコンパイルエラーに対するプログラム相談の自動化
• オブジェクト指向分析における機能モデルの正当性検証手法
• ビジュアルな仕様言語処理系の開発
• オブジェクト指向分析における機能モデル検証支援
• オブジェクト指向分析におけるモデル間の整合性検証支援
• ビジュアルなソフトウェア要求定義支援
• ビジュアルな要求言語
• 簡単な日本経済モデル解釈のためのエキスパートシステム
• ソフトウェア要求定義のためのコミュニケーションモデル

もっと見る 閉じる

スポンサーリンク