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