検索結果資料の内容

ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索


この資料の情報へのリンク:

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

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
大和田 裕/著 山下 博之/著

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

ソフトウェア工学
もどる

本文はここまでです。


ページの終わりです。