蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
資料の状態
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
資料種別 |
請求記号 |
配架場所 |
状態 |
貸出
|
| 1 |
0009756545 | 図書一般 | 007.63/ｿﾌ06/16 | 書庫 | 貸出可 |
○ |
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
書誌情報サマリ
| タイトル |
ソフトウェア工学の基礎 16 日本ソフトウェア科学会FOSE 2009
|
| 出版者・発行者 |
近代科学社
|
| 出版年月 |
2009.11 |
書誌詳細
この資料の書誌詳細情報です。
| 書誌種別 |
図書 |
| タイトル |
ソフトウェア工学の基礎 16 日本ソフトウェア科学会FOSE 2009 |
| シリーズ名 |
レクチャーノート/ソフトウェア学 |
| シリーズ番号 |
35 |
| タイトルヨミ |
ソフトウェア コウガク ノ キソ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンキュウ |
| シリーズ名ヨミ |
レクチャー ノート ソフトウェアガク |
| シリーズ番号ヨミ |
35 |
| 人名 |
中島 震／編
鷲崎 弘宜／編
|
| 人名ヨミ |
ナカジマ シン ワシザキ ヒロノリ |
| 出版者・発行者 |
近代科学社
|
| 出版者・発行者等ヨミ |
キンダイ カガクシャ |
| 出版地・発行地 |
東京 |
| 出版・発行年月 |
2009.11 |
| ページ数または枚数・巻数 |
8,336p |
| 大きさ |
26cm |
| 価格 |
￥６０００ |
| ISBN |
978-4-7649-0376-0 |
| ISBN |
4-7649-0376-0 |
| 分類記号 |
007.63
|
| 件名 |
ソフトウェア工学
|
| 内容紹介 |
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第16回ワークショップの論文集。組込みソフトウェア開発手法、設計技法、プログラム品質向上などのテーマ別に収録。 |
| 言語区分 |
jpn |
| タイトルコード |
1009811247696 |
目次
内容細目
-
組込みソフトウェアの性能解析のための実行トレースの捨象にもとづくモデリング手法
1-12
-
小野 康一／ほか著
-
FeliCa ICチップ開発における仕様記述フレームワークの構築
13-24
-
中津川 泰正／著 栗田 太郎／著 荒木 啓二郎／著
-
形式手法適用の実際と教訓
「形式手法の十戒」に照らし合わせて
25-35
-
栗田 太郎／著 中津川 泰正／著 荒木 啓二郎／著
-
リアクティブシステム仕様を実現可能にするための環境制約の抽出
37-48
-
萩原 茂樹／ほか著
-
型検査に基づく情報流解析における型エラースライシング
49-60
-
桑原 寛明／著
-
ウェブ・アプリケーションに対する脆弱性検出のための文字列解析の拡張
61-72
-
立石 孝彰／著
-
プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出
73-84
-
藤浦 祥雅／ほか著
-
JavaScriptソースコードリポジトリを用いた代替コード発見
85-94
-
蛭牟田 英治／ほか著
-
flexDiff:ステートメント・リスト方式のXML形式差分を出力する柔軟なプログラム差分抽出ツール
95-106
-
横田 大樹／著 権藤 克彦／著
-
アーキテクチャ記述をカプセル化するインタフェース機構Archface
107-118
-
野村 潤／著 鵜林 尚靖／著
-
モデル検査における妥当性確認を目的とした並行システムの表現手法
119-130
-
竹内 亮太郎／ほか著
-
メトリクスと機械学習によるデザインパターン検出
131-142
-
内山 諭／ほか著
-
差分シナリオを用いたシナリオ生成支援
143-154
-
牧野 正之／著 大西 淳／著
-
プロダクトとプロセスの品質に着目した要求定義ノウハウのアセット化
155-166
-
北川 貴之／ほか著
-
直交表を用いた単体テスト向けテストケースの効率的生成法
167-174
-
曽我部 幸司／著 阿萬 裕久／著
-
Mining Specifications to Test a C Function
175-182
-
Takeo Imai／著 Michael D.Ernst／著
-
アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価
183-190
-
宮本 敬三／ほか著
-
メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計
191-198
-
尾鷲 方志／著 岡野 浩三／著 楠本 真二／著
-
プログラムファイルのグループ分けによるコードクローン散布状況の可視化
199-206
-
川口 真司／ほか著
-
開発者メトリクスを用いたソフトウェア信頼性の分析
207-214
-
松本 真佑／ほか著
-
Skill‐based Staff Allocation Optimization in Software Development Projects
215-220
-
Tad Gonsalves／ほか著
-
ブレンディッド開発プロセスにおける複雑さのメトリクスの提案
221-228
-
尾花 将輝／著 花川 典子／著
-
ソフトウェア開発工数予測における予測回避プロジェクトの選定とその効果
229-236
-
戸田 航史／著 門田 暁人／著 松本 健一／著
-
ソフトウェア開発工数予測における線形重回帰モデル再考
237-244
-
門田 暁人／著
-
振る舞いを記述したモデルからのシステム再利用
245-250
-
上村 学／著 川端 亮／著 伊藤 潔／著
-
設計文書に対する静的形式検査のための型システム
251-258
-
岩間 太／著 中村 大賀／著
-
Alloyを利用した情報制御システム記述言語の仕様検証の実用化
259-266
-
小飼 敬／ほか著
-
アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察
267-274
-
張 漢明／ほか著
-
プログラム中の機密性違反を扱うセキュリティポイントカットとアドバイスの提案
275-282
-
伊三野 直志／著 丸山 勝久／著
-
委託・受託を対象とするコミットメントネットワークを導入したドメインとインタードメインのオントロジの構成法
283-288
-
加藤 隼也／著 川端 亮／著 伊藤 潔／著
-
NFRフレームワークにおけるシステム連携向け拡張NFR型カタログの提案
289-296
-
矢嶋 健一／著 落水 浩一郎／著
-
構造および語の類似性に基づくアナリシスパターンの自動抽出
297-304
-
野本 悠太郎／ほか著
-
ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法
305-312
-
藤崎 洋子／ほか著
-
アスペクト指向によるAjaxデザインパターンの適用
313-320
-
江口 和樹／ほか著
-
ソースコード編集履歴を用いた開発停滞期検出
321-322
-
大森 隆行／著 丸山 勝久／著
-
識別子に対する注釈付加ツールDocumentTag
323-324
-
悦田 翔悟／ほか著
-
CoBRAに基づく見積り支援ツール
325-326
-
中村 宏美／著
-
定量データに基づくプロジェクト診断支援ツール
327-328
-
森下 哲成／著
-
意味解析器の自動生成系にむけて
329-330
-
多幡 充／著 桑原 寛明／著 國枝 義敏／著
-
UMLとSimulinkのモデル変換手法の提案
331-332
-
吉田 聡／著 上田 賀一／著 中島 震／著
-
モデル検査によるAjaxアプリケーション検証のためのモデルの提案
333-334
-
玉田 和洋／ほか著
-
オブジェクト指向プログラムの実行履歴上のフェイズに対応する機能の推定手法の提案
335-336
-
渡邊 結／著 石尾 隆／著 井上 克郎／著
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
もどる
