蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
| 1 |
0008403149 | 図書一般 | 007.63/ｿﾌ06/14 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
| タイトル |
ソフトウェア工学の基礎 14 日本ソフトウェア科学会FOSE 2007
|
| 出版者・発行者 |
近代科学社
|
| 出版年月 |
2007.11 |
書誌詳細
この資料の書誌詳細情報です。
| 書誌種別 |
図書 |
| タイトル |
ソフトウェア工学の基礎 14 日本ソフトウェア科学会FOSE 2007 |
| シリーズ名 |
レクチャーノート/ソフトウェア学 |
| シリーズ番号 |
33 |
| タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンナナ |
| シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
| シリーズ番号ヨミ |
33 |
| 人名 |
岸 知二／編
野田 夏子／編
|
| 人名ヨミ |
キシ トモジ ノダ ナツコ |
| 出版者・発行者 |
近代科学社
|
| 出版者・発行者等ヨミ |
キンダイ カガクシャ |
| 出版地・発行地 |
東京 |
| 出版・発行年月 |
2007.11 |
| ページ数または枚数・巻数 |
7,220p |
| 大きさ |
26cm |
| 価格 |
￥５０００ |
| ISBN |
978-4-7649-0344-9 |
| ISBN |
4-7649-0344-9 |
| 分類記号 |
007.63
|
| 件名 |
ソフトウェア工学
|
| 言語区分 |
jpn |
| タイトルコード |
1009811022918 |
目次
内容細目
-
分子プログラミング
1-4
-
萩谷 昌己／著 山村 雅幸／著
-
日本語要求仕様の変更支援ツールの開発
5-14
-
清水 可奈子／著 大西 淳／著
-
操作履歴解析によるシナリオとGUI操作との整合性検証手法
15-24
-
白銀 純子／著 深澤 良彰／著
-
アタックパターンの設計とそれに基づく分散システムの脆弱性の分析
25-33
-
吉岡 信和／著 本位田 真一／著
-
LTLモデル検査の為の図示記法
35-44
-
小池 憲史／ほか著
-
代数仕様言語CafeOBJによるパケットフィルタリングシステムの記述と検証
45-54
-
海野 浩／著 二木 厚吉／著
-
スクリプト言語に対する動的情報フロー制御
55-64
-
立石 孝彰／著 田渕 直／著
-
論理結合とモジュール結合による複雑度を用いたソフトウェア進化の可視化ツールの提案
65-74
-
花川 典子／著
-
Fault‐proneモジュール判別におけるF1値とソフトウェア信頼性の関係
75-83
-
柿元 健／ほか著
-
工数予測における類似性に基づく欠損値補完の効果
85-93
-
田村 晃一／ほか著
-
パターン適用前の状況を活用したデザインパターン検出
95-104
-
深谷 和宏／ほか著
-
コメント中の頻出文字列を用いたソフトウェアライセンスの特定支援
105-114
-
真鍋 雄貴／ほか著
-
データ・ユースケース・フィーチャーモデルの統合によるプロダクトライン構築手法
115-124
-
位野木 万里／ほか著
-
相関ルール分析とロジスティック回帰分析を用いたfault‐proneモジュール予測手法の提案
125-130
-
亀井 靖高／ほか著
-
異なるプロジェクト間におけるFault‐Proneモジュール判別の精度評価
131-136
-
木浦 幹雄／ほか著
-
保守性に着目したリファクタリング方針の評価メトリクス
137-142
-
川俣 洋次郎／ほか著
-
モデル駆動開発におけるソフトウェア測定法の変換による再利用
143-148
-
原 浩太／ほか著
-
メソッド名とドキュメンテーションコメントの対応付け手法の提案
149-154
-
加古 径吾／ほか著
-
事例研究:「簡単#include検査君」
155-160
-
権藤 克彦／著 冨永 和人／著
-
plog:プログラミング経験の抽出を目的とした作業収集システム
161-166
-
谷 聡貴／ほか著
-
操作学習支援システム生成におけるログの解析利用
167-172
-
岩田 一／ほか著
-
コーディネータによるコンポーネントの協調とその検証
173-178
-
林 信宏／著 片山 卓也／著
-
モデル変換に基づく要求記述を利用した形式仕様記述の構築
179-184
-
中川 博之／ほか著
-
シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証
185-190
-
糸賀 裕弥／著 大西 淳／著
-
意思決定に基づくソフトウェア進化のモデル化
191-196
-
下滝 亜里／著 青山 幹雄／著
-
PatternJava:デザインパターンの記述と実装のためのJava言語の拡張
197-202
-
市川 雄介／著 杉山 安洋／著
-
ソフトウェア統合検索を利用した再利用支援システム
203-208
-
大須賀 俊憲／ほか著
-
ソフトウェアアーキテクチャスタイルE-AOSAS++に基づく開発支援環境
209-214
-
沢田 篤史／ほか著
-
JavaEEアプリケーションにおける実装からの層状構造判別法
215-220
-
斉藤 勇樹／ほか著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる
