蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
| 書名 |
ソフトウェア工学の基礎 11 レクチャーノート/ソフトウェア学 30 日本ソフトウェア科学会FOSE 2004
|
| 出版者 |
近代科学社
|
| 出版年月 |
2004.11 |
書誌詳細
この資料の書誌詳細情報です。
| タイトル番号 |
1000410092426 |
| 書誌種別 |
和書 |
| 書名 |
ソフトウェア工学の基礎 11 レクチャーノート/ソフトウェア学 30 日本ソフトウェア科学会FOSE 2004 |
| 書名ヨミ |
ソフトウェア コウガク ノ キソ レクチャー ノート ソフトウェアガク ニホン ソフトウェア カガクカイ エフオーエスイー ニセンヨン |
| 叢書名 |
レクチャーノート/ソフトウェア学
|
| 叢書巻次 |
30 |
| 各巻書名 |
日本ソフトウェア科学会FOSE 2004 |
| 出版者 |
近代科学社
|
| 出版地 |
東京 |
| 出版年月 |
2004.11 |
| ページ数 |
244p |
| 大きさ |
26cm |
| 価格 |
￥５０００ |
| 言語区分 |
日本語 |
| ISBN |
4-7649-0313-X |
| 分類 |
007.63
|
| 件名 |
ソフトウェア工学 |
内容細目
-
1 サービス連携指向要求工学の展望
1-3
-
山本 修一郎／述
-
2 Javaプログラムの実行履歴に基づくシーケンス図の作成
5-16
-
谷口 考治／ほか著
-
3 プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法
17-28
-
小林 隆志／ほか著
-
4 アスペクト指向的な表明のモジュール化
29-39
-
山田 聖／著 渡部 卓雄／著
-
5 アスペクト指向ソフトウェアアーキテクチャスタイルの構築
41-44
-
熊崎 敦司／著 野呂 昌満／著
-
6 位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計
45-48
-
松崎 和賢／ほか著
-
7 P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築
49-60
-
鄭 顕志／ほか著
-
8 階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討
61-64
-
石川 冬樹／ほか著
-
9 マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析
65-68
-
土肥 拓生／ほか著
-
10 マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発
69-72
-
苅部 卓哉／ほか著
-
11 協調フィルタリングに基づく工数見積もりのロバスト性評価
73-84
-
柿元 健／ほか著
-
12 ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案
85-88
-
岡本 圭司／ほか著
-
13 プログラム構造に基づくプログラミング能力評価法
89-92
-
浜名 隆広／ほか著
-
14 クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察
93-96
-
望月 尚美／ほか著
-
15 π計算に対する時間拡張と代数的意味論
97-108
-
桑原 寛明／ほか著
-
16 一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張
109-112
-
樋山 大輔／ほか著
-
17 ロジック書き換えパターンの検証方法の提案
113-116
-
吉岡 信和／著 本位田 真一／著
-
18 構造的代数仕様のための等価述語の提案と実装
117-128
-
中村 正樹／著 二木 厚吉／著
-
19 SMVによるOTS/CafeOBJ仕様のモデル検査
129-140
-
中野 昌弘／ほか著
-
20 レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング
141-152
-
立石 孝彰／ほか著
-
21 書き換えによるOtway‐Rees認証プロトコルの検証
153-156
-
清野 貴博／ほか著
-
22 マルチバージョン生成によるプログラムの解析防止
157-160
-
山内 寛己／ほか著
-
23 XMLを用いたCASEツール・プラットフォーム作成支援環境
161-172
-
高橋 透／ほか著
-
24 環境の仕様を用いたシナリオから状態マシンの生成
173-176
-
紫合 治／著
-
25 リファクタリングツールにおけるUndo機構の提案
177-180
-
丸山 勝久／著
-
26 文書解析に基づくソフトウェアパターンの体系化
181-192
-
久保 淳人／ほか著
-
27 MIMO:モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク
193-196
-
伊藤 祥／著 杉山 安洋／著
-
28 Mixin Layersへの総称型の導入
197-208
-
紙名 哲生／著 玉井 哲雄／著
-
29 教育用OSのソフトウェア工学的側面
udosの開発を通して
209-212
-
権藤 克彦／著 大場 勝／著
-
30 Webアプリケーションの構造に基づくテスト基準
213-223
-
式町 健／ほか著
-
31 モデル変換によるWebアプリケーション開発の支援
225-228
-
風戸 広史／ほか著
-
32 JavaScriptを含むWebアプリケーションの解析手法
229-232
-
福安 直樹／ほか著
-
33 オブジェクト指向分析・設計モデルの解析手法
233-234
-
青木 利晃／著
-
34 型システムの表現力とプログラムの安全性
235
-
Jacques Garrigue／著
-
35 オブジェクト指向デザインと形式手法に関連して
237-238
-
中島 震／著
-
36 アスペクト指向プログラミング言語のモデル化
239-240
-
増原 英彦／著
-
37 通信プロセスモデルに基づくソフトウェアモデル化
241-242
-
結縁 祥治／著
-
38 新世代ソフトウェア開発環境とソフトウェア工学
243-244
-
満田 成紀／著
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
所蔵館 |
請求番号 |
配架場所 |
資料種別 |
帯出区分 |
状態 |
貸出
|
| 1 |
0020986568 | 県立図書館 | 007.63/ｿﾌ/ | 書庫１ | 一般和書 | 貸可資料 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
前のページへ
