蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
| 1 |
0010116101 | 図書一般 | 007.63/ｿﾌ06/17 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
| タイトル |
ソフトウェア工学の基礎 17 日本ソフトウェア科学会FOSE 2010
|
| 出版者・発行者 |
近代科学社
|
| 出版年月 |
2010.11 |
書誌詳細
この資料の書誌詳細情報です。
| 書誌種別 |
図書 |
| タイトル |
ソフトウェア工学の基礎 17 日本ソフトウェア科学会FOSE 2010 |
| シリーズ名 |
レクチャーノート/ソフトウェア学 |
| シリーズ番号 |
36 |
| タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウ |
| シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
| シリーズ番号ヨミ |
36 |
| 人名 |
高田 眞吾／編
福田 浩章／編
|
| 人名ヨミ |
タカダ シンゴ フクダ ヒロアキ |
| 出版者・発行者 |
近代科学社
|
| 出版者・発行者等ヨミ |
キンダイ カガクシャ |
| 出版地・発行地 |
東京 |
| 出版・発行年月 |
2010.11 |
| ページ数または枚数・巻数 |
7,194p |
| 大きさ |
26cm |
| 価格 |
￥５０００ |
| ISBN |
978-4-7649-0399-9 |
| ISBN |
4-7649-0399-9 |
| 分類記号 |
007.63
|
| 件名 |
ソフトウェア工学
|
| 内容紹介 |
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第17回ワークショップの論文集。ミニチュートリアル、ソフトウェアの多面性、支援ツール、ソフトウェア保守などのテーマ別に収録。 |
| 言語区分 |
jpn |
| タイトルコード |
1009811362298 |
目次
内容細目
-
データマイニング技術を応用したソフトウェア構築・保守支援
1-2
-
小林 隆志／著 林 晋平／著
-
SAT/SMTソルバとそのソフトウェア工学分野での応用
3-4
-
梅村 晃広／著
-
属性つきゴールグラフにおけるゴールの品質特性
5-14
-
鵜飼 孝典／著 林 晋平／著 佐伯 元司／著
-
デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計
15-24
-
浦野 彰彦／ほか著
-
実装者に依存しないプログラム規模の測定に向けて
25-34
-
門田 暁人／著 内田 眞司／著 松本 健一／著
-
表明動的生成を目的としたテストケース制約のESC/Java2を利用した導出
35-44
-
小林 和貴／ほか著
-
プログラム変更履歴調査のための編集操作再生器
45-54
-
大森 隆行／著 丸山 勝久／著
-
トレースに基づくデバッグにおける欠陥箇所発見支援手法
55-64
-
上原 伸介／ほか著
-
CONPASU‐tool:記号処理に基づく並行プロセス解析支援ツールの試作
65-74
-
磯部 祥尚／著
-
組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法
75-84
-
小野 康一／ほか著
-
テキスト処理のためのパーザーコンビネーター
85-94
-
岩間 太／著 中村 大賀／著 竹内 広宜／著
-
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法
95-100
-
青木 善貴／著 松浦 佐江子／著
-
検証項目を持つ情報制御システム記述言語のための分析・設計手法
101-106
-
小飼 敬／ほか著
-
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して
107-112
-
張 漢明／ほか著
-
プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み
113-118
-
角田 雅照／ほか著
-
Webサービスのリファクタリング検出と自動適応
119-124
-
福留 康之／著 鷲崎 弘宜／著 深澤 良彰／著
-
テンプレートメソッドの形成に基づく類似メソッド集約支援
125-130
-
政井 智雄／ほか著
-
多面的テストの統合によるユーザビリティ評価
131-136
-
矢下 雄一郎／ほか著
-
OEMソフトウェア製品の検証プロセスの分析
137-142
-
名倉 正剛／著 川口 真司／著 飯田 元／著
-
組合せテストの評価と直交表を用いた網羅率改善法
143-148
-
曽我部 幸司／著 阿萬 裕久／著
-
デバッグ支援のためのグラフベース推薦システム
149-154
-
塩塚 大／著 鵜林 尚靖／著
-
ケーススタディ:KAOS/UMLモデリング
155-160
-
本田 耕三／ほか著
-
高度道路交通システム向け開放型分散アスペクト指向フレームワーク
161-166
-
成瀬 龍人／ほか著
-
ファイル結合によるウェブサイトのフロントエンド性能の改善
167-172
-
野ケ山 尊秀／著 井床 利生／著
-
組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法
173-178
-
渥美 紀寿／ほか著
-
ナップサック問題としてのFault‐proneモジュール選択とそこでのメトリクスの効果について
179-180
-
山下 裕也／著 阿萬 裕久／著
-
仕様記述を必要としない有界レグレッション検知フレームワークの提案
181-182
-
吉田 雅年／著
-
事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
183-184
-
海老原 健一／ほか著
-
モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究
185-186
-
棚池 祐樹／著 福田 浩章／著 山本 喜一／著
-
オブジェクト生成関係抽出ツールROBIN
187-188
-
中野 佑紀／ほか著
-
IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール
189-190
-
大蔵 君治／著 飯田 元／著
-
教室コンピュータを利用した大規模不正コピーレポート検出システムの開発
191-192
-
尾花 将輝／ほか著
-
テスティングフレームワークにおける問題と考察
193-194
-
坂本 一憲／著 鷲崎 弘宜／著 深澤 良彰／著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる
