| No. |
発表題名 |
発表会議名(発表誌等の媒体名) |
発表年月日 |
| 1 |
Security Requirements Elicitation using Scenarios
|
DUT-RU 2012 DUT-RU Joint Workshop on Information Science and Engineering
|
2011/03/01
|
| 2 |
Verification of Scenarios using the Common Criteria
|
Proceedings of the 3rd IEEE International Conference on Software and Data Technologies (ICSOFT 2008)
|
2008/07
|
| 3 |
オフショア開発を考慮した要求仕様書へのタグ付け
|
要求工学ワークショップ、ソフトウェアシンポジウム2008
|
2008/06
|
| 4 |
脅威モデルからの脅威シナリオの生成手法
|
ウィンターワークショップ2008・イン・道後
|
2008/01
|
| 5 |
シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証
|
第14回ソフトウェア工学の基礎ワークショップ FOSE2007 in 下関(ソフトウェア工学の基礎XIV 日本ソフトウェア科学会 FOSE2007 レクチャーノート/ソフトウェア学 33, 近代科学社)
|
2007/11
|
| 6 |
Security Requirements Elicitation via Weaving Scenarios based on Security Evaluation Criteria
|
In the Proceedings of the 7th International Conference on Quality Software (QSIC 2007)
|
2007/10/11
|
| 7 |
上流アスペクト(Early Aspects)におけるシナリオの利用
|
要求工学ワークショップ, ソフトウェアシンポジウム2007
|
2007/06
|
| 8 |
双方向講義を促進する学生・教員間での理解度共有
|
電子情報通信学会 第18回データ工学ワークショップ DEWS2007
|
2007/02
|
| 9 |
脅威モデルを利用したセキュリティ要求の妥当性確認
|
ウィンターワークショップ2007・イン・那覇
|
2007/01
|
| 10 |
セキュリティ評価基準にもとづいたアスペクト指向シナリオによるセキュリティ要求獲得手法
|
第13回ソフトウェア工学の基礎ワークショップ FOSE2006 in 立山(ソフトウェア工学の基礎XIII 日本ソフトウェア科学会 FOSE2006 レクチャーノート/ソフトウェア学 32, 近代科学社)
|
2006/11
|
| 11 |
Scenario Weaving for Security Requirements Elicitation
|
Workshop Proceedings of the Early Aspects 2006: Traceablity of Aspects in the Early Life Cycle, in conjunction with the 5th International Conference on Aspect-Oriented Software Development (EA-AOSD'06)
|
2006/03
|
| 12 |
セキュリティ要求にもとづいた振る舞いのシナリオへの挿入支援
|
電子情報通信学会技術研究報告
|
2005/12
|
| 13 |
シナリオの事前・事後条件におけるアクタの状態記述方法
|
ウィンターワークショップ2005・イン・伊豆 論文集
|
2005/01
|
| 14 |
セキュリティ機能のためのシナリオ改良の一方法
|
情報処理学会研究報告
|
2004/03
|
| 15 |
Register Allocation for Predicated Software Pipelining using Spiral Graph
|
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)
|
2002/06
|
| 16 |
Register Allocation for Software Pipelining with Predication using Spiral Graph
|
Proceedings of the International Symposium on Future Software Technology (ISFST-2001)
|
2001/11
|
| 17 |
条件分岐を考慮したソフトウェア・パイプラインにおけるレジスタ割付
|
並列処理シンポジウム JSPP'99
|
1999/06
|