蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
| 1 |
0008863151 | 図書一般 | 007.63/ｿﾌ06/15 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
| タイトル |
ソフトウェア工学の基礎 15 日本ソフトウェア科学会FOSE 2008
|
| 出版者・発行者 |
近代科学社
|
| 出版年月 |
2008.11 |
書誌詳細
この資料の書誌詳細情報です。
| 書誌種別 |
図書 |
| タイトル |
ソフトウェア工学の基礎 15 日本ソフトウェア科学会FOSE 2008 |
| シリーズ名 |
レクチャーノート/ソフトウェア学 |
| シリーズ番号 |
34 |
| タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンハチ |
| シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
| シリーズ番号ヨミ |
34 |
| 人名 |
松下 誠／編
川口 真司／編
|
| 人名ヨミ |
マツシタ マコト カワグチ シンジ |
| 出版者・発行者 |
近代科学社
|
| 出版者・発行者等ヨミ |
キンダイ カガクシャ |
| 出版地・発行地 |
東京 |
| 出版・発行年月 |
2008.11 |
| ページ数または枚数・巻数 |
7,162p |
| 大きさ |
26cm |
| 価格 |
￥５０００ |
| ISBN |
978-4-7649-0361-6 |
| ISBN |
4-7649-0361-6 |
| 分類記号 |
007.63
|
| 件名 |
ソフトウェア工学
|
| 言語区分 |
jpn |
| タイトルコード |
1009811134075 |
目次
内容細目
-
リファクタリングにおける脆弱性混入の検出
1-10
-
丸山 勝久／著 戸子田 健祐／著
-
細粒度の振舞いに基づくプログラム差分理解支援ツール
11-20
-
吉田 敦／著 鯵坂 恒夫／著
-
KAOSモデルを利用したself‐adaptiveシステムの構築
21-30
-
中川 博之／ほか著
-
Task Segmentation and GA for the Optimization of Software Development Multi‐Project Schedule
31-40
-
Tad Gonsalves／ほか著
-
モデル検査技術を用いたインバリアント被覆テストケースの自動生成によるDaikon出力の改善
41-50
-
堀 直哉／ほか著
-
Simulation of a Process Model with Communication Structure
51-56
-
Saw Sanda Aye／著 Koichiro Ochimizu／著
-
成果物に基づいたソフトウェア開発プロジェクトの階層的な可視化フレームワーク
57-62
-
大蔵 君治／ほか著
-
バグ予測で信頼性はどれだけ向上するのか?
テスト工数割り当ての観点からの従来研究の再評価
63-68
-
柿元 健／ほか著
-
無線センサネットワークにおける計測記述言語のための規範モデル導出手法の構築
69-74
-
鄭 顕志／ほか著
-
ステークホルダの意思決定を支援するプロダクトライン再生シナリオの提案
75-80
-
位野木 万里／ほか著
-
組込み機器を用いた3層ITアーキテクチャの提案と実装
81-86
-
尾花 将輝／著 花川 典子／著
-
Cプログラムの実行に基づいたモデル検査実験
87-92
-
土肥 雅俊／著 青木 利晃／著
-
設計検証のためのシーケンス図を活用した検証性質の指定方式
93-98
-
野田 夏子／著 岸 知二／著
-
スタックトレース情報を用いた問題解決経験の検索
99-104
-
谷 聡貴／ほか著
-
インスタンス変数を遠隔参照するJavaプログラムのための拡張RMIの試作
105-110
-
山口 祐亮／著 杉山 安洋／著
-
MDAモデル変換プロセスに沿ったGUIプロトタイプ生成
111-116
-
迎田 宙／ほか著
-
ガイドラインに則したGUIレイアウトの自動調整手法
117-122
-
福本 丈晃／ほか著
-
プロセス改善のためのソフトウェア開発タスク計測システム
123-128
-
門田 暁人／ほか著
-
コーディングスタイルに基づくメトリクスを用いたソースコードからの属人性検出
129-134
-
岩間 太／著 中村 大賀／著
-
実行時要求監視によるスパム型Webロボットの検出
135-144
-
外村 慶二／ほか著
-
AOJS:アスペクトを完全分離記述可能なJava Scriptアスペクト指向プログラミング・フレームワーク
145-154
-
久保 淳人／ほか著
-
メソッド呼び出しパターン分析ツールの提案と実現
155-156
-
山田 吾郎／ほか著
-
Webアプリケーションにて家電操作を可能とする組み込み機器システムの開発
157-158
-
尾花 将輝／著 花川 典子／著
-
UMLモデル検証ツールと適用事例
159-160
-
佐伯 剛幸／著 海津 智宏／著
-
コードクローンを用いたコードスニペット抽出の試み
161
-
大須賀 俊憲／ほか著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる
