蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0012827291 | 図書一般 | 007.63/ソフ06/21 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
ソフトウェア工学の基礎 21 日本ソフトウェア科学会FOSE 2014
|
出版者・発行者 |
近代科学社
|
出版年月 |
2014.12 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
ソフトウェア工学の基礎 21 日本ソフトウェア科学会FOSE 2014 |
シリーズ名 |
レクチャーノート/ソフトウェア学 |
シリーズ番号 |
40 |
タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウヨン |
シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
シリーズ番号ヨミ |
40 |
人名 |
花川 典子/編
尾花 将輝/編
|
人名ヨミ |
ハナカワ ノリコ オバナ マサキ |
出版者・発行者 |
近代科学社
|
出版者・発行者等ヨミ |
キンダイ カガクシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2014.12 |
ページ数または枚数・巻数 |
10,292p |
大きさ |
26cm |
価格 |
¥6000 |
ISBN |
978-4-7649-0470-5 |
ISBN |
4-7649-0470-5 |
分類記号 |
007.63
|
件名 |
ソフトウェア工学
|
内容紹介 |
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第21回ワークショップの論文集。実践ソフト開発、プログラム解析、開発支援ツール、プロジェクト管理などのテーマ別に収録。 |
言語区分 |
JPN |
タイトルコード |
1009811860839 |
目次
内容細目
-
ソフトウェア工学のパラダイム・シフト
Immaterial Laborの視点から
1-3
-
岸田 孝一/著
-
ソースコード中の変数と条件分岐による脳活動の差
5-14
-
幾谷 吉晴/著 上野 秀剛/著
-
自動計測データに基づくソフトウェア開発の作業目的の推定
15-24
-
大橋 亮太/ほか著
-
クラッシュレポートの送信頻度が不具合との関連付けに与える影響
25-34
-
小須田 光/著 亀井 靖高/著 鵜林 尚靖/著
-
なぜGitHubは人気なのか/マルチエージェントシミュレーションによる協調進化の分析
35-44
-
畑 秀明/著 松本 健一/著
-
OSSプロジェクトにおけるコミッターの承認に対する動機の理解
45-50
-
伊原 彰紀/ほか著
-
マージにおけるメソッドコンフリクト解消の実態調査
51-56
-
湯月 亮平/著 畑 秀明/著 松本 健一/著
-
OSSの不具合修正曲線に基づく未修正不具合数の予測の試み
57-62
-
藤野 啓輔/ほか著
-
人口ピラミッドによるOSSプロジェクト貢献者の流動性分析
63-68
-
尾上 紗野/ほか著
-
Feature Envyとコメント文の関連性に関する考察
69-74
-
藤井 里沙/ほか著
-
リエンジニアリングプロセスにおける工程を考慮したソフトウェア構造解析の実践
75-80
-
長岡 武志/著 田原 歩/著
-
フックを用いた変数アクセス偽装難読化に向けて
81-86
-
福田 收真/著 玉田 春昭/著
-
コルモゴロフ複雑性に基づくプロダクト派生木復元の試み
87-92
-
早瀬 康裕/著 神田 哲也/著 石尾 隆/著
-
高速なMCS列挙を利用した準最弱事前条件推定の改良
93-102
-
今井 健男/著 酒井 政裕/著 萩谷 昌己/著
-
モデル変換を用いたリファクタリング検証手法
103-112
-
市井 誠/著 小川 秀人/著
-
任意の機密度束を用いた情報流解析における非機密化プリミティブの配置
113-122
-
桑原 寛明/著 國枝 義敏/著
-
初学者向けプログラミング演習における探索的プログラミングの実態調査と支援手法の提案
123-128
-
槇原 絵里奈/ほか著
-
インクリメンタル開発のためのJavaクラスの簡易実行ツール
129-134
-
高橋 克幸/著 杉山 安洋/著
-
遅延評価関数型言語から命令型言語への変換系における対応関係を考慮したソースレベルデバッグ支援
135-140
-
西村 将広/ほか著
-
IT駆動型ビジネスアーキテクチャのゴール指向設計方法
141-146
-
井出 昌浩/ほか著
-
SOAに基づくシステムのアーキテクチャと仕様モデルの対応関係
147-152
-
江坂 篤侍/著 野呂 昌満/著 沢田 篤史/著
-
システム企画における最適な意思決定のための重要意思決定キャンバスの提案
153-158
-
横田 真人/ほか著
-
制御状態の切り替えを考慮した組込みシステムモデルの協調解析
159-164
-
渡辺 翠/著 上田 賀一/著 中島 震/著
-
非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証
165-170
-
都丸 卓也/ほか著
-
ProBを用いたVDMの陰仕様の解釈実行の試み
171-176
-
石川 洋/著
-
モジュール理解のためのバグレポート推薦
177-182
-
藤原 新/ほか著
-
Analogy手法における類似プロジェクト数決定のための指標
183-188
-
柿元 健/著 矢野 博暉/著
-
ソフトウェア開発データの無矛盾性の評価
189-194
-
門田 暁人/著 Passakorn Phannachitta/著 松本 健一/著
-
異なる成熟度の仕様に対するVDM適用効果の比較
195-200
-
大森 洋一/ほか著
-
開発プロセスにおけるステークホルダマネジメント方法の提案と評価
201-206
-
野村 典文/著 青山 幹雄/著 菊島 靖弘/著
-
ソフトウェア開発におけるビジネスルール分類の考察
207-212
-
山田 節夫/ほか著
-
設計抽象化のためのリファクタリング支援
213-218
-
艾 迪/ほか著
-
異なるコードクローンメトリクスを用いた欠陥モジュール予測の試み
219-224
-
角田 雅照/ほか著
-
ネスト化によるリファクタリングの連続的適用
225-230
-
田島 香織/著 丸山 勝久/著
-
テストケースの実行履歴に基づいたクラスタリングと0-1計画モデルを組み合わせた回帰テスト計画手法の提案
231-240
-
阿萬 裕久/ほか著
-
WebIDEを用いたプログラミング演習におけるテストケース評価システムの提案
241-250
-
蜂巣 吉成/著 吉田 敦/著 阿草 清滋/著
-
高度ソフトウェア専門技術者育成のためのゴール指向に基づく教授法設計方法の提案
251-260
-
古畑 慶次/ほか著
-
形式仕様に基づくテスト結果の評価
261-262
-
池谷 駿/著
-
Yet Another CSS Preprocessor:CSSの複雑性軽減に向けた設計手法
263-264
-
森下 雅章/著 福安 直樹/著
-
処理と実行順序の類似性に基づく仕様の補完手法
265-266
-
利國 愛/著 中川 雄一郎/著 小川 秀人/著
-
テスト合格予測手法におけるテスト項目間の関連付の自動化の検討
267-268
-
中野 隆司/ほか著
-
ソフトウェアメトリクスを用いたソフトウェア再利用の提案
269-270
-
曽和 寛史/著 深海 悟/著
-
変更追跡機能を用いた静的検査ツールの効果的な利用法
271-272
-
渥美 紀寿/著 桑原 寛明/著
-
オープンソースライセンス変更によるプロジェクトへの影響評価に向けて
273-274
-
眞鍋 雄貴/著 東 裕之輔/著 大平 雅雄/著
-
モデル駆動開発におけるユーザビリティ機能の要求確認を支援するWebプロトタイプ自動生成ツール
275-276
-
紙森 翔平/著 小形 真平/著 海尻 賢二/著
-
非同期処理の実行を管理する疑似ブロックの提案
277-278
-
畔上 剛/著 福田 浩章/著
-
自然言語記述された仕様書からの機能情報抽出とソースコードとの対応方法の検討
279-280
-
増田 智樹/著 伊賀 達人/著 平山 雅之/著
-
Chromiumのgitリポジトリから算出可能な工数の見積もり手法の定量的評価
281-282
-
戸田 航史/著 亀井 靖高/著
-
結合テストレベルにおけるExhaustive Testing適用の技術的課題の検討
283-284
-
増田 聡/著 小野 康一/著
-
閉空間ナビゲーションシステムにおける誘導方式の決定に関する提案
285-286
-
長谷川 智美/著 平山 雅之/著 石川 敏揮/著
-
プログラム依存グラフにおける到達可能性に着目した凝集度メトリクスの提案
287-288
-
加藤 健太/ほか著
-
To‐Be業務プロセスモデリングに向けた業務要求分析手法
289-290
-
荒木 真敬/著 鹿糠 秀行/著
-
ソフトウェアプロジェクト予測におけるトービットモデル適用の試み
291-292
-
角田 雅照/著 戸田 航史/著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる