岸 知二 | 北陸先端科学技術大学院大学 情報科学研究科
スポンサーリンク
概要
関連著者
-
岸 知二
北陸先端科学技術大学院大学 情報科学研究科
-
岸 知二
Necマイコンソフト開発環境研究所
-
岸 知二
Jaist:nec
-
岸 知二
北陸先端科学技術大学院大学:(現)早稲田大学理工学術院創造理工学部経営システム工学科
-
岸 知二
日本電気(株)
-
岸 知二
北陸先端科学技術大学院大学大学情報科学研究科
-
岸 知二
早稲田大学
-
岸 知二
日本電気株式会社
-
岸 知二
北陸先端科学技術大学院大学情報科学研究科
-
岸 知二
日本電気(株)ソフトウェア生産技術開発本部
著作論文
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
- ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- UML設計モデル検査技術のための検証パターンの提案
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)