蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
1 |
0011641933 | 図書一般 | 007.63/ソフ06/19 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
タイトル |
ソフトウェア工学の基礎 19 日本ソフトウェア科学会FOSE 2012
|
出版者・発行者 |
近代科学社
|
出版年月 |
2012.12 |
書誌詳細
この資料の書誌詳細情報です。
書誌種別 |
図書 |
タイトル |
ソフトウェア工学の基礎 19 日本ソフトウェア科学会FOSE 2012 |
シリーズ名 |
レクチャーノート/ソフトウェア学 |
シリーズ番号 |
38 |
タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウニ |
シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
シリーズ番号ヨミ |
38 |
人名 |
鵜林 尚靖/編
亀井 靖高/編
|
人名ヨミ |
ウバヤシ ナオヤス カメイ ヤスタカ |
出版者・発行者 |
近代科学社
|
出版者・発行者等ヨミ |
キンダイ カガクシャ |
出版地・発行地 |
東京 |
出版・発行年月 |
2012.12 |
ページ数または枚数・巻数 |
9,248p |
大きさ |
26cm |
価格 |
¥5500 |
ISBN |
978-4-7649-0434-7 |
ISBN |
4-7649-0434-7 |
分類記号 |
007.63
|
件名 |
ソフトウェア工学
|
内容紹介 |
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第19回ワークショップの論文集。開発手法とツール、メトリクスと性能、アルゴリズムと解析などのテーマ別に収録。 |
言語区分 |
JPN |
タイトルコード |
1009811627640 |
目次
内容細目
-
『スクリプト言語の作り方』の作り方
1
-
千葉 滋/著
-
ユーザビリティ向上に向けた要求定義段階におけるGUIプロトタイプ構築
3-8
-
柴田 博成/ほか著
-
アーキテクチャー探索のためのモデル駆動開発手法
9-14
-
小野 康一/ほか著
-
デバッグ支援ツールのための実行ログ生成ツール
15-20
-
星 孝一郎/著 神田 翔太/著 杉山 安洋/著
-
文脈を考慮したHTML4からHTML5への書き換え方法の提案
21-26
-
蜂巣 吉成/ほか著
-
モデル検査ツールにより出力された反例に基づく誤り特定手法
27-32
-
陳 適/著 青木 利晃/著
-
SMTを活用したJavaプログラム解析フレームワークの設計
33-38
-
佐々木 幸広/著 岡野 浩三/著 楠本 真二/著
-
情報制御システムのモデル検査における状態空間分割による探索手法の提案
39-44
-
小山 恭平/ほか著
-
ソースコード改変におけるコメント文の相対的な変化量に着目したフォールト潜在性の分析
45-50
-
浅野 遼平/著 阿萬 裕久/著
-
性能予測へのソフトウェアメトリクスの適用検討
51-56
-
中尾 早苗/著 茂岡 知彦/著
-
組込みシステムの性能評価のための共有メモリーの固定優先度調停の確率モデル
57-62
-
河原 亮/著 小野 康一/著 中田 武男/著
-
ゴールモデルの構造に基づいた共通ゴール判別手法の提案
63-68
-
中村 祐貴/ほか著
-
シナリオの事前条件と事後条件の定義支援手法
69-74
-
佃 俊徳/著 大西 淳/著
-
要求分析におけるCRUD観点のモデル検査技術の適用
75-80
-
青木 善貴/ほか著
-
組込みシステム検証のための協調解析手法
81-90
-
古川 覚/著 上田 賀一/著 中島 震/著
-
LTL式からBüchiオートマトンへの高速な変換法
91-100
-
望月 翔平/ほか著
-
変数に格納されるオブジェクトの型を仮定した仮想メソッド呼び出し解決手法
101-110
-
鹿島 悠/著 石尾 隆/著 井上 克郎/著
-
バグモジュール予測を用いたテスト工数割り当て戦略
111-120
-
中野 大輔/著 門田 暁人/著 松本 健一/著
-
DePoT:Webアプリケーションテストにおけるテストコード自動生成テスティングフレームワーク
121-130
-
青井 翔平/ほか著
-
Webアプリの動的部分に着目したグレーボックス統合テストとテンプレート変数カバレッジの提案
131-140
-
坂本 一憲/ほか著
-
統合開発環境におけるコード補完の繰り返しに関する調査
141-150
-
大森 隆行/著 桑原 寛明/著 丸山 勝久/著
-
命令の乱雑さに基づくプログラム理解性の評価
151-160
-
二村 阿美/ほか著
-
DOPGを用いたオブジェクトの振舞い予測手法
161-170
-
脇阪 大輝/ほか著
-
編集操作履歴の再生における粗粒度な再生単位
171-176
-
桑原 寛明/著 大森 隆行/著
-
情報検索手法を用いた開発支援システム間の情報統合
177-182
-
谷 宗一郎/ほか著
-
ソフトウェア開発PBLにおけるタスク記録の修正に基づく振り返り手法の提案
183-188
-
福安 直樹/ほか著
-
実装コード不具合検出へのJava PathFinder適用に向けた探索範囲削減手法の検討
189-194
-
前岡 淳/著 田辺 良則/著
-
COBOLシンボリック実行によるテストケース生成
195-200
-
前田 芳晴/ほか著
-
テストドライバのテスト手法に関する一考察
201-206
-
上野 哲史/著 杉山 安洋/著
-
動的利害相互作用に基づくステークホルダ分析方法の提案と節電問題への適用評価
207-216
-
青山 幹雄/著 木下 康介/著 山下 和樹/著
-
上流工程比率を用いたソフトウェア開発工数見積もり精度の定量的評価
217-226
-
角田 雅照/著 戸田 航史/著 伏田 享平/著
-
OSSにおける開発者とコミッターの組み合わせがパッチ検証期間に与える影響の分析
227-228
-
戸田 航史/著
-
数理計画モデルに基づいた効果的なテスト計画に関する考察
実行履歴を用いたテストの推薦
229-230
-
阿萬 裕久/ほか著
-
C-Helper:C言語初学者向け静的解析ツールの提案
231-232
-
内田 公太/著 権藤 克彦/著
-
データ並列を用いたポインタ解析の高速化
233-234
-
石井 惇志/著 権藤 克彦/著
-
DBアクセス問題の抑止を目的としたJavaバイトコードの静的解析の試み
235-236
-
梅村 晃広/ほか著
-
ファイル保管サービス統合支援環境の構築と実践
237-238
-
伊藤 恵/著 野呂 篤志/著
-
OSS開発における不具合修正タスクの割当支援へ向けて:整数計画問題の応用
239-240
-
柏 祐太郎/著 大平 雅雄/著
-
Source2UPPAAL:ソースコードの効率的な検証へ向けた開発者支援ツールの検討
241-242
-
谷沢 智史/ほか著
-
ファイル名を利用したソースコードの機能別グループ化
243-244
-
垣谷 広輝/ほか著
-
不具合検出過程におけるサブゴールに着目した検出効率の比較
245-246
-
西口 絢人/著 上野 秀剛/著
-
ソフトウェア開発の状況を定量的に把握するマネジメント支援ツール
247-248
-
大和田 裕/著 山下 博之/著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる