蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
| 書名 |
ソフトウェア工学の基礎 10 レクチャーノート/ソフトウェア学 29 日本ソフトウェア科学会FOSE'03
|
| 出版者 |
近代科学社
|
| 出版年月 |
2003.11 |
書誌詳細
この資料の書誌詳細情報です。
| タイトル番号 |
1009910462300 |
| 書誌種別 |
和書 |
| 書名 |
ソフトウェア工学の基礎 10 レクチャーノート/ソフトウェア学 29 日本ソフトウェア科学会FOSE'03 |
| 書名ヨミ |
ソフトウェア コウガク ノ キソ レクチャー ノート ソフトウェアガク ニホン ソフトウェア カガクカイ エフオーエスイー ゼロサン |
| 叢書名 |
レクチャーノート/ソフトウェア学
|
| 叢書巻次 |
29 |
| 各巻書名 |
日本ソフトウェア科学会FOSE'03 |
| 出版者 |
近代科学社
|
| 出版地 |
東京 |
| 出版年月 |
2003.11 |
| ページ数 |
264p |
| 大きさ |
26cm |
| 価格 |
￥５０００ |
| 言語区分 |
日本語 |
| ISBN |
4-7649-0308-3 |
| 分類 |
007.63
|
| 件名 |
ソフトウェア工学 |
内容細目
-
1 ソフトウェア開発における形式手法の挑戦
1-4
-
荒木 啓二郎／著
-
2 Semantic webに関する話題
5-8
-
山口 高平／著
-
3 SPINを用いたオブジェクト指向分析モデルのデータフロー解析手法
9-20
-
青木 利晃／著 片山 卓也／著
-
4 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
21-32
-
宮城 真弓／ほか著
-
5 ソフトウェアの利用実演による操作学習支援手法
33-36
-
岩田 一／ほか著
-
6 UMLを用いたセキュアなアプリケーション開発のための支援手法
37-40
-
苅部 卓哉／ほか著
-
7 組み込みソフトウェアの階層化されたアスペクト指向ソフトウェアアーキテクチャ群の構築
41-52
-
熊崎 敦司／ほか著
-
8 組み込み用ソフトウェア開発へのモデルチェッキング技術の導入方法について
53-56
-
松本 充広／ほか著
-
9 時間制約検証のためのハードウェア制御フローグラフ抽象化手法の提案
57-60
-
橋本 英明／ほか著
-
10 組込みソフトウエア開発マップの提案
61-64
-
渡辺 晴美／ほか著
-
11 テキストマイニング技法を応用した要求獲得支援
65-76
-
西村 一彦／著 本位田 真一／著
-
12 ルールによるシナリオの正当性検証支援手法
77-80
-
張 紅輝／著 大西 淳／著
-
13 役割に着目した分割と統合によるシステム分析法
81-84
-
桜井 早苗／ほか著
-
14 ビジネスオブジェクトを用いた要求分析・設計手法
85-88
-
金子 伸幸／ほか著
-
15 DWARF2デバッグ情報のCASEツールへの応用
89-100
-
権藤 克彦／ほか著
-
16 RDFの細粒度ソフトウェアリポジトリへの応用
101-104
-
吉田 一／ほか著
-
17 追跡子としてのXMLタグによるC前処理問題への対応
105-108
-
川島 勇人／著 権藤 克彦／著
-
18 ソフトウェアの変更量とクラスサイズとの関係解析
109-112
-
望月 尚美／ほか著
-
19 仮想マシンの中間言語に基づく回帰テスト選択手法
113-124
-
孝寿 俊彦／ほか著
-
20 モデル図を対象としたインスペクション支援システムの設計
125-128
-
大瓶 佳秀／著 櫨山 淳雄／著
-
21 SOFL形式仕様によるソフトウェアテスト
129-132
-
陳 雨亭／著 劉 少英／著
-
22 モバイルエージェントによる柔軟なコンテンツ流通を実現するアクティブコンテンツ
133-136
-
吉岡 信和／ほか著
-
23 エージェントのペアリングによる再利用性と動的環境適応性を考慮に入れた記述分離
137-148
-
松崎 和賢／ほか著
-
24 TRMIにおけるマルチスレッド制御機能
149-160
-
杉山 安洋／著 加藤 剛彦／著
-
25 名前空間を考慮したDOM木Visitor生成系
161-164
-
蜂巣 吉成／著
-
26 フレームワークに対するアスペクト指向技術によるホットスポットのモジュール性向上
165-176
-
下之園 孝／ほか著
-
27 アスペクト指向アーキテクチャ設計に関する一考察
177-180
-
岸 知二／著 野田 夏子／著
-
28 アスペクト指向設計モデルに関する一考察
181-184
-
野田 夏子／著 岸 知二／著
-
29 エージェント間プロトコル記述言語FOPLの提案
185-196
-
土肥 拓生／ほか著
-
30 Webサービス連携のためのモバイルエージェント動作記述
197-200
-
石川 冬樹／ほか著
-
31 並行正規表現の同期からインターリーブへの変換
201-204
-
紫合 治／著
-
32 プロセスパターンに対する理論的一考察
205-214
-
服部 哲／著 落水 浩一郎／著
-
33 ソフトウェア開発グループ能力を計測するためのコミュニケーションモデル
215-226
-
花川 典子／著
-
34 実行可能なメモリモデルに基づくJava並行プログラムのモデル検査
227-238
-
深谷 直彦／ほか著
-
35 シミュレーションとSAを用いたJavaプログラムの分割と携帯端末上での実装の一手法
239-250
-
浦田 繁玄／ほか著
-
36 LSIにおける検証技術
251-256
-
小松 聡／著 藤田 昌宏／著
-
37 プロセス代数における時間拡張
257-258
-
結縁 祥治／著
-
38 実時間システムのモデル検査
259-260
-
中田 明夫／著
-
39 組込みソフトウエア検証技術の実用化
261-262
-
渡辺 晴美／著
-
40 デファクト標準技術に対するソフトウェア工学の取り組み
263-264
-
満田 成紀／著
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
所蔵館 |
請求番号 |
配架場所 |
資料種別 |
帯出区分 |
状態 |
貸出
|
| 1 |
0020741450 | 県立図書館 | 007.63/ｿﾌ/ | 書庫１ | 一般和書 | 貸可資料 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
前のページへ
