-- 近代科学社 -- 2002.11 -- 007.63

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫1上 Map B/007.63/ソフ/823482 1108234824 閲可 貸可 協可

資料詳細

タイトル ソフトウェア工学の基礎 9
巻の書名 日本ソフトウェア科学会FOSE'02
叢書名 レクチャーノート/ソフトウェア学
出版地 東京
出版者 近代科学社
出版年 2002.11
ページ数 194p
大きさ 26cm
一般件名 ソフトウェア工学
ISBN 4-7649-0303-2 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 007.63

内容一覧

タイトル 著者名 ページ
情報技術とカタカナ語 牛島 和夫/著 1-6
数式処理とWebコンピューティング 野田 松太郎/著 7-12
XCI:CASEツール開発向けANSI Cインタプリタの開発経験 権藤 克彦/著 13-24
資源適合型アプリケーション統合開発環境の提案 中川 晋吾/ほか著 25-36
作業分割による増加工数を考慮した工数見積もりモデルの提案 花川 典子/ほか著 37-48
分散オブジェクトの高信頼化へのアプローチ 杉山 安洋/著 49-60
システム分析の進展に伴うモデル図の有効利用 瀬沼 祐志/ほか著 61-72
異なる視点で記述されたシナリオの統合支援手法 張 紅輝/ほか著 73-84
意味要素集合によるUMLアクティビティ図の意味解析 福安 直樹/ほか著 85-94
現実的なプログラミング問題作成手法の提案 藤田 充典/ほか著 95-106
項書換えを用いた安全性検証の組織化 清野 貴博/ほか著 107-118
並行合成エージェントのための真の並行性を考慮した時間付プロセス代数とプロセス論理 磯部 祥尚/著 119-130
IOA-ToolkitによるNepiネットワークプログラミングシステムの検証 河辺 義信/著 131-142
極小性チェックを必要としない極小変更ソフトウェア仕様の導出 佐藤 健/著 143-150
解析可能なオブジェクトモデルとしての制約付きクラス図 宗像 一樹/著 151-154
メソッドの結合範囲に基づいたクラス凝集度メトリクス 山崎 健司/ほか著 155-158
Javaプログラミングに対するデザインパターン適用支援ツール 山下 純司/ほか著 159-162
アスペクト指向を用いた並列言語実行時環境構成のためのフレームワーク 児玉 靖司/著 163-166
XMLを利用したHTML文書生成系の提案 蜂巣 吉成/著 167-170
diffを用いたソフトウェア構成要素の階層化差分 新美 健一/ほか著 171-174
プログラム構造の形式化による追従性分析法 佐藤 匡正/著 175-178
ソフトウェアアーキテクチャにおける形式手法の適用に関する考察 張 漢明/ほか著 179-182
表のための属性付きグラフとアルゴリズム 本橋 友江/ほか著 183-186
テーブルを用いた形式仕様記述 小池 憲史/著 187-190
CafeOBJにおける書き換えエンジンの停止性 中村 正樹/ほか著 191-194