サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

送料無料 日付更新(2017年7月)

	ブックオフ宅本便ページ修正

システム開発・設計 ランキング

システム開発・設計のランキングをご紹介します一覧を見る

収録作品一覧

ソフトウェア工学の基礎 10 日本ソフトウェア科学会FOSE’03

ソフトウェア工学の基礎 10 日本ソフトウェア科学会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