ソフトウェア設計・検証手法に関する考察 : モデリングの観点より
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-07-02
著者
関連論文
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- ソフトウェアアーキテクチャのためのアスペクト指向分析
- 2層フィーチャモデルを用いた開発手法の提案と実装(開発支援・開発手法)
- ソフトウェア工学による組込みソフトウェアの開発効率化 : 規模と複雑さとの戦い
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- 1L-3 UML設計に対するモデル検査のための検証パターン(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察 (「SEC journal」論文賞)
- UML設計モデル検査技術のための検証パターンの提案
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 1.高信頼組込みシステムのための先進ソフトウェア技術(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 特集「未来志向のソフトウェア工学」の編集にあたって
- ハードウェア情報を含めたMDAの提案と実装(MDAとパターン)
- ウインターワークショップ2010・イン・倉敷開催報告
- モデル検査のための設計モデル構築手法に関する考察
- モデル検査のための設計モデル構築手法に関する考察
- ウインターワークショップ2010・イン・倉敷開催報告
- ソフトウェア設計・検証手法に関する考察〜モデリングの観点より〜
- ウインターワークショップ2010・イン・倉敷開催報告
- 編集にあたって(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- ソフトウェア設計に対するモデル検査のための検証パターン
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- ソフトウェアエンジニアリングシンポジウム2009開催報告
- モデル検査のための設計モデル構築手法に関する考察
- モデル検査のための設計モデル構築手法に関する考察
- ソフトウェア設計・検証手法に関する考察 : モデリングの観点より
- ソフトウェアアーキテクチャに関する考察 : AHPを活用したアーキテクチャ選択
- スケーラブルなモデリング技法に関する考察
- ウィンターワークショップ2011・イン・修善寺開催報告
- GUIを考慮したMDA開発手法の提案
- GUIを考慮したMDA開発手法の提案
- 特集「組込み/リアルタイムソフトウエア」の編集にあたって
- SPLC2011参加報告
- 近似的モデリング技法についての考察
- メタモデル進化を考慮したモデル変換開発手法の提案
- コードからの抽象ユーザインタフェース情報抽出手法
- ウィンターワークショップ2012・イン・琵琶湖開催報告
- モデル検査技術を用いたユースケース記述分析手法の提案
- 重み付き有向グラフを用いたセンサ隣接関係の自動推定手法
- GUIアプリケーションのテスト駆動開発の一手法
- 近似的モデリングメカニズムについての考察
- ウィンターワークショップ2013・イン・那須報告
- ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- コードからの抽象ユーザインタフェース情報抽出手法(開発支援,ソフトウェアサイエンス、理論)
- ウィンターワークショップ2012・イン・琵琶湖開催報告(報告,ソフトウェアサイエンス、理論)
- メタモデル進化を考慮したモデル変換開発手法の提案(開発支援,ソフトウェアサイエンス、理論)
- 重み付き有向グラフを用いたセンサ隣接関係の自動推定手法(行動・データ解析,ソフトウェアサイエンス、理論)
- GUIアプリケーションのテスト駆動開発の一手法(テスト,ソフトウェアサイエンス、理論)
- モデル検査技術を用いたユースケース記述分析手法の提案(検証,ソフトウェアサイエンス、理論)
- ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
- 続・ソフトウェア工学の共通問題:4.座談会 〜共通問題を通して見るソフトウェア工学の30年〜
- ソフトウェアプロダクトラインにおける非機能特性を考慮した製品導出支援手法の提案
- GUIアプリケーショシのテスト駆動開発の一手法
- モデル検査技術を用いたユースケース記述分析手法の提案
- メタモデル進化を考慮したモデル変換開発手法の提案
- コードからの抽象ユーザインタフェース情報抽出手法