蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0012403838 | 図書一般 | 007.63/ソフ06/20 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
ソフトウェア工学の基礎 20 日本ソフトウェア科学会FOSE 2013
|
出版者・発行者 |
近代科学社
|
出版年月 |
2013.11 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
ソフトウェア工学の基礎 20 日本ソフトウェア科学会FOSE 2013 |
シリーズ名 |
レクチャーノート/ソフトウェア学 |
シリーズ番号 |
39 |
タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウサン |
シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
シリーズ番号ヨミ |
39 |
人名 |
岡野 浩三/編
関澤 俊弦/編
|
人名ヨミ |
オカノ コウゾウ セキザワ トシフサ |
出版者・発行者 |
近代科学社
|
出版者・発行者等ヨミ |
キンダイ カガクシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2013.11 |
ページ数または枚数・巻数 |
10,320p |
大きさ |
26cm |
価格 |
¥6000 |
ISBN |
978-4-7649-0452-1 |
ISBN |
4-7649-0452-1 |
注記 |
汚れあり |
分類記号 |
007.63
|
件名 |
ソフトウェア工学
|
内容紹介 |
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第20回ワークショップの論文集。ソフトウェア設計、ソフトウェア開発支援、メトリクス、プログラム解析などのテーマ別に収録。 |
言語区分 |
zzz |
タイトルコード |
1009811735889 |
目次
内容細目
-
記号とは何か
記号論と情報科学
3
-
田中 久美子/著
-
学習データ計測時点による欠陥モジュール予測精度の比較
5-14
-
内垣 聖史/ほか著
-
情報流解析におけるDeclassifierの配置手法
15-24
-
桑原 寛明/著 國枝 義敏/著
-
相関ルールマイニングを用いたメソッドの命名方法の分析
25-34
-
柏原 由紀/ほか著
-
プログラミング初学者向けの誤り訂正問題の生成方法の提案
35-40
-
蜂巣 吉成/著 吉田 敦/著
-
ソースコード差分の対話的修正法
41-46
-
林 晋平/ほか著
-
独自ガイドラインを適用したGUIの構築支援
47-52
-
杉内 一也/ほか著
-
不具合修正時間の短縮化を目的としたバグトリアージ手法の提案
53-58
-
柏 祐太郎/著 大平 雅雄/著
-
Chromium Projectにおけるレビュアーとパッチ開発者の関係がレビュー効率に与える影響の分析
59-64
-
戸田 航史/ほか著
-
入力保存機能に着目したモデル駆動ユーザビリティ評価法
65-70
-
早川 弘基/ほか著
-
性能予測へのモデルメトリクスの適用検討
71-76
-
中尾 早苗/著 茂岡 知彦/著
-
詳細設計書を用いたインフラストラクチャ構築の設定ミス予測のためのメトリックNoCIの提案
77-82
-
尾花 将輝/著 花川 典子/著 深海 悟/著
-
責務の割り当てに着目した設計クラス図の機能性・保守性評価
83-88
-
津田 直彦/著 鷲崎 弘宜/著 深澤 良彰/著
-
メソッド進化分析のためのソースコード履歴グラフ構築とネットワーク分析
89-94
-
畑 秀明/著 松本 健一/著
-
Portland Pattern Repository上のソフトウェアパターン群に対するネットワーク分析
95-100
-
角谷 将司/ほか著
-
ソフトウェアリポジトリを対象とした細粒度リファクタリング検出
101-106
-
藤原 賢二/著 吉田 則裕/著 飯田 元/著
-
ソースコード編集操作の自動グループ化
107-112
-
星野 大樹/著 林 晋平/著 佐伯 元司/著
-
シーケンス図中の時間制約の整合性検査とその高速化
113-118
-
河原 亮/著 小野 康一/著
-
法令から機能要求を抽出するための支援ツールの実装と評価
119-124
-
吉田 豊/ほか著
-
テストドライバの妥当性を検証するためのテスト用フレームワーク
125-130
-
上野 哲史/著 杉山 安洋/著
-
検証付きプログラムに対する対話的修正の合成
131-136
-
森口 草介/著 渡部 卓雄/著
-
POM/MCを用いた仮説ベースモデル検査デバッグ手法
137-142
-
小川 秀人/ほか著
-
強充足不能なリアクティブシステム仕様における欠陥範囲の特定
143-152
-
萩原 茂樹/ほか著
-
COBOL記号実行のための記号メモリ
153-162
-
佐々木 裕介/著 前田 芳晴/著 松尾 昭彦/著
-
ユニットテストの入力データ生成のためのBit‐vector Logicに基づくCOBOL記号実行器
163-172
-
岩間 太/著 立石 孝彰/著
-
クラッシュリポジトリマイニング
ソースコード欠陥箇所の特定に向けて
173-178
-
亀井 靖高/ほか著
-
オープンソースソフトウェアにおける学術論文の引用状況の分析
179-184
-
小西 文章/ほか著
-
簡易脳波測定装置を用いたプログラミング活動のストレス測定に関する実験
185-190
-
高橋 圭一/著
-
脳血流計測に基づくプログラム理解行動の定量化
191-196
-
中川 尊雄/著
-
ソフトウェアテストに関するメトリクス測定に基づくOSSにおける実証的研究
197-202
-
高澤 亮平/ほか著
-
アスペクト指向言語を利用したソフトウェアモデル検査手法
203-208
-
古賀 陽一郎/著 田辺 良則/著
-
モデル検査技術を用いたセキュリティ要求の検証
209-214
-
青木 善貴/ほか著
-
情報制御システムにおける部分モデルと相互関係を用いたモデル検査の実用化
215-220
-
宮島 卓巳/ほか著
-
ユーザ要求ベースのテスト方法の提案と有効性評価
221-226
-
野村 典文/著 菊島 靖弘/著 青山 幹雄/著
-
ホワイトボックス単体テストにおけるペアテスティング
227-232
-
坂本 一憲/ほか著
-
ゲーミフィケーションを用いたバグパターンによる欠陥除去の促進
233-238
-
新井 慧/ほか著
-
GUIプログラムにおけるイベント処理の可聴化によるデバッグ支援
239-244
-
宮本 崇史/著 丸山 勝久/著
-
上流工程の知識体系に基づく要求工学オントロジーの提案
245-250
-
飯村 結香子/著 斎藤 忍/著 青山 幹雄/著
-
0-1計画モデルを用いたコードレビュー計画法におけるフィルタリングとその効果
251-256
-
井上 慎也/著 阿萬 裕久/著
-
ソフトウェア開発企業における開発タスクの自動計測
257-262
-
門田 暁人/ほか著
-
OSLCに基づく要求管理方法と支援環境の提案と評価
263-272
-
青山 幹雄/著 壁谷 考洋/著
-
リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換
273-282
-
堀田 大貴/ほか著
-
実行履歴と制御構造を用いたUMLシーケンス図のリバースエンジニアリング
283-292
-
宮城 翔一/著 上田 賀一/著
-
iArch:滑らかな設計抽象化を支援するIDE
293-294
-
艾 迪/ほか著
-
ソフトウェア開発履歴を利用した風林火山モデルによる開発者の特性診断の試み
295-296
-
藤原 新/ほか著
-
演習授業で各学生が行うソフトウェア開発作業の細粒度履歴データに基づく演習過程確認手法の提案
297-298
-
田中 昻文/ほか著
-
システム群のBASE特性を保証するためのCoqを用いた検証
299-300
-
高鶴 哲也/著 今井 宜洋/著 田辺 良則/著
-
メソッドの中に書かれるコメントと前に書かれるコメントのフォールト潜在予測に関する定量的考察
301-302
-
阿萬 裕久/著
-
リファクタリング支援のためのプログラム等価性検証手法の提案
303-304
-
市井 誠/ほか著
-
動画再生時間に対するマーキングによる効率的な動画学習システム
305-306
-
高安 伯武/ほか著
-
コメントを重視したチケット駆動開発の実践と可視化ツールによる分析
307-308
-
浅香 靖浩/著 高安 伯武/ほか著 小山 裕司/著
-
予測対象メトリクスの単位に基づく変数除去の試み
309-310
-
村上 将司/著 柿元 健/著
-
フィールドアクセスに着目したモデル検査の効率化
311-312
-
前岡 淳/著 田辺 良則/著 石川 冬樹/著
-
高度ICT人材育成教育における情報デザイン手法の導入事例
313-314
-
木塚 あゆみ/ほか著
-
受講者間の知識伝達を目指したScrumに基づくソフトウェア開発PBLの実践
315-316
-
福安 直樹/ほか著
-
fault‐proneモジュール判別におけるアルゴリズム選択のための評価指標の提案
317-318
-
角田 雅照/著 門田 暁人/著 松本 健一/著
-
BMGを拡張したビジネスモデル開発方法論の考察
319-320
-
井出 昌浩/ほか著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる