|
|  |
| オオニシ アツシ | (男) | | 大西 淳 | 教授 | | Atsushi OHNISHI | | |
|
|
|
|
|
| | | 1979年03月 京都大学工学部情報工学科 卒業 | | 1981年03月 京都大学大学院工学研究科情報工学専攻 修士課程 修了 | | 1983年04月 京都大学大学院工学研究科情報工学専攻 博士課程後期課程 中退 |
|
|
|
|
|
| | 1983/05/01-1989/05/31 | 京都大学・助手 | | 1989/06/01-1994/03/31 | 京都大学・助教授 | | 1994/04/01- | 立命館大学・教授 | | 2007/04/01- | 国立情報学研究所・客員教授(現在に至る) |
|
|
| 学内
1996年度理工学部情報学科副学系長
1999年度理工学部研究科主事
2003年度教学部副部長(ＢＫＣ担当)
2004年度情報理工学部副学部長
2005年度情報理工学部調査企画委員長
2008年度情報理工学部情報システム学科長
学会関連
情報処理学会関西支部ソフトウェア研究会幹事(1991/06-1997/03)
情報処理学会論文誌編集委員会編集委員(1995/06-1999/06)
情報処理学会ソフトウェア工学研究会連絡委員(1996/04-2000/03)
情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ主査(1998/08-2006/10)
情報処理学会ソフトウェア工学研究会要求工学ワーキンググループ幹事(2004/10-)
日本ソフトウェア科学会企画委員(1988/04-1991/03)
日本ソフトウェア科学会ソフトウェア研究会連絡委員(1988/12-1994/03)
日本ソフトウェア科学会ソフトウェア工学の基礎研究会幹事(1994/04-1998/03)
日本ソフトウェア科学会ソフトウェア工学の基礎研究会主査(1998/04-2003/03)
日本ソフトウェア科学会編集委員会委員(1998/04-2003/03)
電子情報通信学会知能ソフトウェア工学研究会専門副委員長(2008/05-2009/05)
電子情報通信学会知能ソフトウェア工学研究会専門委員長(2009/05-2010/05)
会議組織委員長関連
情報処理学会ソフトウェア工学研究会ウィンターワークショップ 実行委員長(1997)
日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ(FOSE'98) プログラム委員長(1998)
情報処理学会オブジェクト指向シンポジウム(OO 2001) プログラム委員長(2001)
情報処理学会第71回全国大会 現地実行委員長(2009) |
|
|
| | 情報処理学会、日本ソフトウェア科学会、IEEE Computer Society、ACM、電子情報通信学会 |
|
|
| | | ソフトウェア工学に関する研究 |
| ①オブジェクト指向ソフトウェア開発、②ソフトウェア要求定義支援、③シーケンス制御プログラミング支援など、ソフトウェア開発技法・環境をはじめとするソフトウェア工学に関する研究を行っている。
【研究テーマ(4)概要】
文法や語彙を制限した制限言語による仕様化技法の研究 |
|
|
| | ■(1)ソフトウェア開発のためのシナリオ作成支援 | | ■(2)ビジュアルな制御プログラミング支援 | | ■(3)ビジュアルな要求定義環境 | | ■(4)半形式的な仕様記述 | | ■(5)オブジェクト指向要求定義技法 | | ■(6)ソフトウェア要求定義環境の構築 | | ■(7)ビューポイントに基づいたシナリオ分析手法に関する研究 |
|
|
| | ソフトウェア工学、要求工学、要求獲得、要求仕様化技法、要求言語、要求管理、シナリオ分析、ソフトウェア設計、シーケンス制御プログラミング |
|
|
| |
|
| | | ■日本ソフトウェア科学会ソフトウェア工学の基礎貢献賞 (2005/11) | | ■電気通信普及財団賞(テレコムシステム技術賞) (2003/03) | | ■SDPS Service Award (2000/06) | | ■情報処理学会論文賞 (1986/05) |
|
|
| ■立命館グローバル・イノベーション研究機構研究プログラム
| ■研究推進プログラム
| ■研究の国際化推進プログラム
| ■学外研究員制度
| ■ポストドクトラルフェロープログラム
| ■研究専念教員制度
| ■学術図書出版推進プログラム
| ■個人研究費
|
|
|
| |
|
| | | ソフトウェア開発技法を研究 |
情報工学が専門。高校で数学の先生が導入したコンピュータに興味を覚え、京大工学部情報工学科へ。ハードウェアに興味があったが研究室配属の抽選の結果、大野豊先生の下でソフトウェア工学、特に要求工学を研究。1979年卒業。さらに専門科目を勉強したくて修士課程に入学。'81年修了、博士課程に進学。
'83年京都大学工学部助手、'86年同大型計算機センター助手に配置換。'89年同助教授。'90年より一年間カリフォルニア大学サンタバーバラ校客員研究員（計算機科学科）。
'94年本学へ。’00年前期ジョージア工科大学訪問研究者（コンピューティング学部）。
ソフトウェアを容易にかつ正確に開発する手法の研究を進めており、要求定義のためのコミュニケーションのモデル化や要求言語の開発、要求定義環境の構築、制御プログラミング支援、オブジェクト指向分析支援等の研究を進めてきた。最近の論文は電子情報通信学会論文誌に掲載の「UMLにおけるモデル整合性検証支援システム」等。
本学で学生諸君とソフトウェア工学関連の研究プロジェクトを進めることを楽しみにしている。
趣味は、読書、旅行計画を練ること、生まれ故郷を本拠地とする球団の応援、人に物を教えることなど。けん玉一級。 |
|
|
|
|
|
|
|