愛知県図書館
トップメニュー
資料検索
資料紹介
Myライブラリ
トップメニュー
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
ソフトウェア工学の基礎 5
利用可
-- 近代科学社 -- 1998.12 -- 007.63
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
場所
棚番号
請求記号
資料コード
貸出利用
状態
本館
書庫1上
Map
B/007.63/ソフ/761623
1107616233
閲可 貸可 協可
-
ページの先頭へ
資料詳細
タイトル
ソフトウェア工学の基礎 5
巻の書名
日本ソフトウェア科学会FOSE'98
叢書名
レクチャーノート/ソフトウェア学
出版地
東京
出版者
近代科学社
出版年
1998.12
ページ数
218p
大きさ
26cm
一般件名
ソフトウェア工学
ISBN
4-7649-0270-2
分類番号
007.63
ページの先頭へ
内容一覧
タイトル
著者名
ページ
ソフトウェア研究と産学連携
大野 豊/著
1-9
部分継続にもとづく移動コード機構について
渡部 卓雄/著
10-19
代数アプローチによるアーキテクチャ・スタイル記述
中島 震/著
20-29
部分仕様の段階的統合
磯部 祥尚/ほか著
30-39
認証の論理とHOLによる認証プロトコルの検証
沢村 一/著
40-49
リアクティブシステム開発のための統合型支援環境
石井 基樹/ほか著
50-55
構造化文書を内部表現とする関数仕様書とソースコードの相互参照システムの実現
荒木 円博/著
56-61
ビジュアルカスタマイズ方式によるソフトウェアの開発手法
白銀 純子/著
62-67
性能設計における協調・依存グラフの活用
野田 夏子/著
68-73
形式仕様からシステム要求への反映
金指 文明/ほか著
74-79
Distributed system evolution using reflection
Issam・A・Hamid/著
80-85
アーキテクチャコンフォーマンスを活用した非機能的特性の設計
岸 知二/著
86-95
開放型分散システムの階層的な設計手法
山根 智/著
96-105
矛盾を含んだ要求仕様の解釈手法
杉本 英昭/著
106-115
パターンに基づくエージェントシステム開発手法
田原 康之/ほか著
116-125
共通業務を考慮したドメイン分析に基づくプロトタイピングシステム
川端 亮/ほか著
126-135
応用ドメインに特化したCASEツールGUI部の自動生成
宮崎 善史/ほか著
136-144
並列オブジェクト指向シミュレーションのための記述言語とプログラム設計
平井 譲/ほか著
145-150
代数モデルによるUMLの意味論
飯田 周作/著
151-156
隠蔽代数によるオブジェクト指向的仕様記述方法
松本 充広/著
157-162
OAM:オープンエージェントミドルウェア
塩内 正利/ほか著
163-168
仕様記述言語SDLに対する静的解析アルゴリズム
梶 由仁/ほか著
169-174
開放的分散システムにおけるプロセス間通信機構
渡辺 慎哉/著
175-180
プログラムパターンの段階的抽出手法
三浦 良/ほか著
181-188
ソースプログラムに対する変更操作が可能な細粒度ソフトウェアリポジトリの提案
吉田 敦/ほか著
189-198
パターン解析による形式的仕様記述言語からのプロトタイプ生成系
橘 賢二/著
199-208
CafeOBJのモジュールシステムの設計およびCafeOBJにより検証
五百蔵 重典/ほか著
209-218
ページの先頭へ
関連メディア
/T170P55044
ページの先頭へ