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