NEアカデミー ETロボコンの事例で学ぶモデル活用の効能(第3回)参加チームの事例(2)設計品質が高いモデルを規範に、コードとモデルの差を埋める

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-10-03

著者

• 鷲崎 弘宜

  早稲田大学:国立情報学研究所graceセンター

• 鷲崎 弘宜

  早稲田大学基幹理工学部情報理工学科

関連論文

• ウインターワークショップ2008・イン・道後開催報告
• 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
• 品質要求駆動型のアーキテクチャ分析設計手法によるWEBシステム開発(ソフトウェア要求のモデル化)
• MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
• 6Q-7 要求仕様とモデルの共通性・可変性分析によるソフトウェアプロダクトライン構築(要求定義,MDA,プロダクトライン,学生セッション,ソフトウェア科学・工学)
• 文書間類似度によるソフトウェアパターン間関連分析と複合関連の導出
• ロボットソフトウェアデザインコンテストにおける組込みソフトウェアの品質評価
• 第21回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告
• ソフトウェアパターン研究の発展経緯と最近の動向(ソフトウェア工学の動向報告)
• 第15回プログラムのパターンランゲージ会議(PLoP2008)参加報告(実装,検証,報告)
• B-052 ソフトウェアパターン文書の解析および体系化(B.ソフトウェア)
• 文書中のパターン間の文書類似度による関連分析
• ユースケース間の関係を考慮した網羅的な受け入れテストの支援
• 第28回ソフトウェア工学国際会議(ICSE2006)参加報告
• ウインターワークショップ2010・イン・倉敷開催報告
• ウインターワークショップ2008・イン・道後開催報告
• ウィンターワークショップ2006・イン・鴨川参加報告
• REST形式Webサービスのテスト実行に基づく高精度な検索
• ディペンダビリティ確保にむけたアスペクト指向技術動向
• ウインターワークショップ2010・イン・倉敷開催報告
• ディペンダビリティ確保にむけたアスペクト指向技術動向
• ウインターワークショップ2009・イン・宮崎開催報告
• ウインターワークショップ2009・イン・宮崎開催報告
• ウインターワークショップ2009・イン・宮崎開催報告
• MDDチャレンジにみる組込みソフトウェアモデル中心開発の工学と教育(MDDロボットチャレンジ)
• MDDロボットチャレンジ2006開催報告(MDDロボットチャレンジ)
• ソース・コード静的検証によるソフトウエア品質評価の意義
• 4C-1 アプリケーション部品についてのMVCパターンの適用
• 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
• 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
• RB-006 柔軟かつ複数プログラミング言語対応のテストカバレッジ測定フレームワーク(ソフトウェア,査読付き論文)
• オブジェクト指向フレームワーク上のコンポーネントに対する精度の高いテスト網羅率計測方式の提案
• 第14回アジア太平洋ソフトウェア工学国際会議(APSEC 2007)開催および参加報告(動向・報告(一般セッション))
• 品質要求駆動型のアーキテクチャ分析設計手法によるWEBシステム開発(ソフトウェア要求のモデル化)
• セキュリティパターン技術に関する研究動向
• トップエスイー「サイエンスによる知的ものづくり教育」
• 再利用特性に基づくコンポーネントメトリクスの提案と検証(ソフトウェア開発を支援する基盤技術)
• 静的側面から見たソフトウェアコンポーネントの品質
• D-3-3 コンポーネントにおける静的側面の自動品質測定
• トップエスイー : サイエンスによる知的ものづくり教育
• プログラムソースコードのための実用的な品質評価枠組み(システム評価・管理技術,ソフトウェア工学の理論と実践)
• オブジェクト指向クラス間依存解析に基づくコンポーネント抽出
• 柔軟なコンポーネント間接続方式の提案と実装
• 柔軟なコンポーネント間接続方式の提案と実装
• 柔軟なコンポーネント間接続方式の提案と実装
• ウィンターワークショップ2011・イン・修善寺開催報告
• ソフトウェアパターン-時を超えるソフトウェアの道-:1.ソフトウェアパターン概観
• ソフトウェアパターン-時を超えるソフトウェアの道-:0.編集にあたって
• NEアカデミー ETロボコンの事例で学ぶ モデル活用の効能(第1回)モデルを書く意味 違ったものになりがちなモデルとソース・コード
• NEアカデミー ETロボコンの事例で学ぶモデル活用の効能(第2回)参加チームの事例(1)似た知識の点在が問題、モデルを修正して構造を簡単に
• NEアカデミー ETロボコンの事例で学ぶモデル活用の効能(第3回)参加チームの事例(2)設計品質が高いモデルを規範に、コードとモデルの差を埋める
• NEアカデミー ETロボコンの事例で学ぶモデル活用の効能(最終回)参加チームの事例(3)モデルで定義不足の部分が、ソースの安定性を下げる
• 利用情報解析に基づくコンポーネントウィザードの自動付加
• 細粒度コンポーネント環境における動的かつ階層的Undo機構の実現(ヒューマンインターフェイス)
• 細粒度コンポーネント環境における動的かつ階層的Undo機構の実現
• A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD
• コンポーネント試行システムの開発と評価
• ETロボットコンテストを題材としたプロセスが不明瞭な開発におけるパターンマイニングの提案
• コンピュータプレイヤーのプログラム作成を通して競い合うゲームプラットホームの開発を支援するフレームワーク(ソフトウェア工学,学生論文)
• Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出 (知能ソフトウェア工学)
• Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出 (ソフトウェアサイエンス)
• ソフトウェアパターン研究の現在と未来
• コンポーネント環境における独立条件記述に基づく条件テスト手法(ソフトウェア開発を支援する基盤技術)
• 有向置換性類似度に基づくコンポーネント検索方式の実現と評価(オブジェクト指向技術)
• D-4-17 片方向引用情報に基づく論文の品質評価
• 派生プロダクト群における要求・実装間のトレーサピリテイリンク抽出
• 特集「ソフトウェア工学」の編集にあたって
• 『ソフトウェアの要求と設計の科学』シリーズについて
• 派生プロダクト群における要求・実装間のトレーサビリティリンク抽出 (ソフトウェアサイエンス)
• UNICOEN:複数プログラミング言語対応のソースコード処理フレームワーク
• インタラクションに着目したステートマシン抽出によるRich Internet Applicationsの欠陥発見の支援
• プログラムの構造に着目したFault-Localizationとデバッグ支援
• 開発における不確定性と時間変化を考慮した一般化信頼性モデル
• 開発における不確定性と時間変化を考慮した一般化信頼性モデル
• 女子学生向けプログラミング学習用環境の構築
• ウィンターワークショップ2013・イン・那須報告
• 上流工程のUMLクラス図を入力としたソフトウェアの保守性測定メトリクススイート
• ゲーミフィケーションを用いたバグパターンによる欠陥除去を促進する手法の提案
• テスト貢献度に基づくゲーミフィケーションを用いた教育用ソフトウェアテストツールの提案
• オブジェクトおよびアスペクト指向プログラミング言語との比較実験を通した新しいコンテキスト指向プログラミング言語の提案
• ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
• Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
• システム企画局面における戦略的意思決定の考察
• Simulinkモデルにおけるグラフに基づく非完全一致モデルクローン検出(一般)
• システムとソフトウェアの品質:10.ソフトウェア品質の知識体系
• 複数言語対応かつ算出式変更可能なバグローカリゼーションフレームワークの提案 (ソフトウェアサイエンス)
• 複数言語対応かつ算出式変更可能なバグローカリゼーションフレームワークの提案 (システム数理と応用)
• Refactoring Script:複合リファクタリングを適用可能なリファクタリングスクリプトと処理系
• Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 (知能ソフトウェア工学)
• Portland Pattern Repositoryにおけるソフトウェアパターンに対するネットワーク分析 (ソフトウェアサイエンス)
• 派生プロダクト群における要求・実装間のトレーサビリティリンク抽出(開発支援とマネジメント,ソフトウェアサイエンス、理論)
• パターンの構造化を利用したパターンランゲージの拡充(研究速報,ソフトウェア基礎・応用論文)
• フィーチャ分析と充足可能性判定を用いたシステムテストに向けたシステム構成導出
• アスペクト指向プログラミングによる高性能・低消費電力化 (ソフトウェアサイエンス)
• アスペクト指向プログラミングによる高性能・低消費電力化 (システム数理と応用)
• 得点による競争原理を用いた静的解析ツールによる欠陥除去の促進 (ソフトウェアサイエンス)

もっと見る 閉じる

スポンサーリンク