資料詳細

  • 1 件中、 1 件目

ソフトウェア工学の基礎 10

-- 近代科学社 -- 2003.11 -- 007.63
（ 日本ソフトウェア科学会FOSE'03 ） 鰺坂 恒夫／編

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密３(X01) 主配架/007.61/ｿﾌﾄｳｴｱ/(10) 10212949061 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル ソフトウェア工学の基礎 10
叢書名 レクチャーノート/ソフトウェア学
出版者 近代科学社
出版年 2003.11
ページ数 264p
大きさ 26cm
一般件名 ソフトウェア工学
NDC分類(10版) 007.63
ISBN 4-7649-0308-3
巻の書名 日本ソフトウェア科学会FOSE'03
巻の書名カナ ニホン ソフトウェア カガクカイ エフオーエスイー ゼロサン
各巻著者 鰺坂 恒夫／編
各巻著者カナ アジサカ,ツネオ

ページの先頭へ

内容一覧

タイトル 著者名 ページ
ソフトウェア開発における形式手法の挑戦 荒木 啓二郎／著 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

ページの先頭へ