資料詳細

  • 1 件中、 1 件目

ソフトウェア工学の基礎 17

-- 近代科学社 -- 2010.11 -- 007.63
（ 日本ソフトウェア科学会FOSE 2010 ） 高田 眞吾／編

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密３(X01) 主配架/007.61/ｿﾌﾄｳｴｱ/(17) 10213273030 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル ソフトウェア工学の基礎 17
叢書名 レクチャーノート/ソフトウェア学
出版者 近代科学社
出版年 2010.11
ページ数 7,194p
大きさ 26cm
一般件名 ソフトウェア工学
NDC分類(10版) 007.63
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第17回ワークショップの論文集。ミニチュートリアル、ソフトウェアの多面性、支援ツール、ソフトウェア保守などのテーマ別に収録。
ISBN 4-7649-0399-9
ISBN13桁 978-4-7649-0399-9
巻の書名 日本ソフトウェア科学会FOSE 2010
巻の書名カナ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウ
各巻著者 高田 眞吾／編
各巻著者カナ タカダ,シンゴ

ページの先頭へ

内容一覧

タイトル 著者名 ページ
データマイニング技術を応用したソフトウェア構築・保守支援 小林 隆志／著 1-2
SAT/SMTソルバとそのソフトウェア工学分野での応用 梅村 晃広／著 3-4
属性つきゴールグラフにおけるゴールの品質特性 鵜飼 孝典／著 5-14
デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計 浦野 彰彦／ほか著 15-24
実装者に依存しないプログラム規模の測定に向けて 門田 暁人／著 25-34
表明動的生成を目的としたテストケース制約のESC/Java2を利用した導出 小林 和貴／ほか著 35-44
プログラム変更履歴調査のための編集操作再生器 大森 隆行／著 45-54
トレースに基づくデバッグにおける欠陥箇所発見支援手法 上原 伸介／ほか著 55-64
CONPASU‐tool:記号処理に基づく並行プロセス解析支援ツールの試作 磯部 祥尚／著 65-74
組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法 小野 康一／ほか著 75-84
テキスト処理のためのパーザーコンビネーター 岩間 太／著 85-94
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 青木 善貴／著 95-100
検証項目を持つ情報制御システム記述言語のための分析・設計手法 小飼 敬／ほか著 101-106
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して 張 漢明／ほか著 107-112
プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み 角田 雅照／ほか著 113-118
Webサービスのリファクタリング検出と自動適応 福留 康之／著 119-124
テンプレートメソッドの形成に基づく類似メソッド集約支援 政井 智雄／ほか著 125-130
多面的テストの統合によるユーザビリティ評価 矢下 雄一郎／ほか著 131-136
OEMソフトウェア製品の検証プロセスの分析 名倉 正剛／著 137-142
組合せテストの評価と直交表を用いた網羅率改善法 曽我部 幸司／著 143-148
デバッグ支援のためのグラフベース推薦システム 塩塚 大／著 149-154
ケーススタディ:KAOS/UMLモデリング 本田 耕三／ほか著 155-160
高度道路交通システム向け開放型分散アスペクト指向フレームワーク 成瀬 龍人／ほか著 161-166
ファイル結合によるウェブサイトのフロントエンド性能の改善 野ケ山 尊秀／著 167-172
組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 渥美 紀寿／ほか著 173-178
ナップサック問題としてのFault‐proneモジュール選択とそこでのメトリクスの効果について 山下 裕也／著 179-180
仕様記述を必要としない有界レグレッション検知フレームワークの提案 吉田 雅年／著 181-182
事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案 海老原 健一／ほか著 183-184
モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究 棚池 祐樹／著 185-186
オブジェクト生成関係抽出ツールROBIN 中野 佑紀／ほか著 187-188
IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール 大蔵 君治／著 189-190
教室コンピュータを利用した大規模不正コピーレポート検出システムの開発 尾花 将輝／ほか著 191-192
テスティングフレームワークにおける問題と考察 坂本 一憲／著 193-194

ページの先頭へ