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