愛知県図書館
トップメニュー
資料検索
資料紹介
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
ソフトウェア工学の基礎 7
利用可
-- 近代科学社 -- 2001.1 -- 007.63
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
場所
棚番号
請求記号
資料コード
貸出利用
状態
本館
書庫1上
Map
B/007.63/ソフ/792279
1107922792
閲可 貸可 協可
-
ページの先頭へ
資料詳細
タイトル
ソフトウェア工学の基礎 7
巻の書名
日本ソフトウェア科学会FOSE2000
叢書名
レクチャーノート/ソフトウェア学
出版地
東京
出版者
近代科学社
出版年
2001.1
ページ数
266p
大きさ
26cm
一般件名
ソフトウェア工学
ISBN
4-7649-0287-7
分類番号
007.63
ページの先頭へ
内容一覧
タイトル
著者名
ページ
ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について
橋本 正明/著
1-10
21世紀におけるソフトウェア工学の基礎とは?
野呂 昌満/ほか討議
11-12
建築施工のプロダクト中心のプロセスモデリング
三浦 友徳/ほか著
13-20
建築施工の業務分析の一試行
阿満 誠也/ほか著
21-28
ビジネスフローにおける一貫性制約の記述手法の提案
由良 俊介/ほか著
29-36
分散システムのためのプロセス論理の充足可能性
磯部 祥尚/著
37-44
Safe dynamics for distributed programming
藤田 憲悦/著
45-52
協調型分散システムへの時間導入法
中山 竜二/ほか著
53-60
規律性のあるIDEFOによる機能モデルとデータモデルの結合
上村 学/ほか著
61-68
信頼性向上のためのビジネスプロセス記述
今井 慈郎/ほか著
69-76
離散系生産システムのためのデータモデリング法
山田 功/著
77-84
ヴァリアントの継承について
香川 考司/著
85-92
多相ヴァリアントによるコード再利用
Jacques・Garrigue/著
93-100
M-pi計算に対する型システム
塚崎 悟/著
101-108
情報アーキテクチャの概念に基づくWebサービス要求分析手法
荻原 剛志/ほか著
109-116
HOLを用いたオブジェクト指向分析モデルの検証
立石 孝彰/ほか著
117-124
アーキテクチャ指向による要求分析
友枝 敦/著
125-132
Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計
伊藤 謙心/ほか著
133-141
ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
黒田 隆一/ほか著
141-148
細粒度コンポーネント環境における履歴クラスタリング
鷲崎 弘宜/ほか著
149-156
オブジェクト指向組み込みシステム開発のための設計モデルSESモデル
青木 利晃/著
157-164
既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法
熊崎 敦司/ほか著
165-172
移動エージェント相互運用を実現するソフトウェアアーキテクチャ
粂野 文洋/ほか著
173-180
階層的漸増テスト自動実行ツール
山口 嘉文/ほか著
181-188
オブジェクト属性を利用したソフトウェアの視覚化
安原 継二/ほか著
189-196
プログラムの正規化に基づいた差分抽出法の提案
尾崎 憲幸/ほか著
197-204
実用規模システムへの形式手法の適用事例
田中 俊行/ほか著
205-208
グラフ分析エンジンGOAeの開発
張 漢明/ほか著
209-212
文書作成支援のためのWWWコンコーダンサー
山之上 卓/ほか著
213-220
位置透過性を持つ分散プログラミング環境のD'Agentによる実現
本田 治/ほか著
221-228
射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発
松本 充広/著
229-236
AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証
山ノ口 崇/著
237-244
RMIを用いた分散システム構築の自動化
油利 耕平/著
245-248
Research topics discovery from WWW by keywords association rules
David・Ramamonjisoa/ほか著
249-256
振舞仕様を用いたIPモジュールの記述に向けて
海野 浩/ほか著
257-260
Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述
田原 康之/ほか著
261-266
ページの先頭へ
関連メディア
/T170P55044
ページの先頭へ