| 1 |
ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について |
橋本 正明/著 |
|
|
|
| 2 |
21世紀におけるソフトウェア工学の基礎とは? |
野呂 昌満/ほか討議 |
|
|
|
| 3 |
建築施工のプロダクト中心のプロセスモデリング |
三浦 友徳/ほか著 |
|
|
|
| 4 |
建築施工の業務分析の一試行 |
阿満 誠也/ほか著 |
|
|
|
| 5 |
ビジネスフローにおける一貫性制約の記述手法の提案 |
由良 俊介/ほか著 |
|
|
|
| 6 |
分散システムのためのプロセス論理の充足可能性 |
磯部 祥尚/著 |
大蒔 和仁/著 |
|
|
| 7 |
Safe dynamics for distributed programming |
藤田 憲悦/著 |
|
|
|
| 8 |
協調型分散システムへの時間導入法 |
中山 竜二/ほか著 |
|
|
|
| 9 |
規律性のあるIDEFOによる機能モデルとデータモデルの結合 |
上村 学/ほか著 |
|
|
|
| 10 |
信頼性向上のためのビジネスプロセス記述 |
今井 慈郎/ほか著 |
|
|
|
| 11 |
離散系生産システムのためのデータモデリング法 |
山田 功/著 |
熊谷 敏/著 |
|
|
| 12 |
ヴァリアントの継承について |
香川 考司/著 |
|
|
|
| 13 |
多相ヴァリアントによるコード再利用 |
Jacques・Garrigue/著 |
|
|
|
| 14 |
M-pi計算に対する型システム |
塚崎 悟/著 |
富樫 敦/著 |
|
|
| 15 |
情報アーキテクチャの概念に基づくWebサービス要求分析手法 |
荻原 剛志/ほか著 |
|
|
|
| 16 |
HOLを用いたオブジェクト指向分析モデルの検証 |
立石 孝彰/ほか著 |
|
|
|
| 17 |
アーキテクチャ指向による要求分析 |
友枝 敦/著 |
|
|
|
| 18 |
Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計 |
伊藤 謙心/ほか著 |
|
|
|
| 19 |
ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス |
黒田 隆一/ほか著 |
|
|
|
| 20 |
細粒度コンポーネント環境における履歴クラスタリング |
鷲崎 弘宜/ほか著 |
|
|
|
| 21 |
オブジェクト指向組み込みシステム開発のための設計モデルSESモデル |
青木 利晃/著 |
片山 卓也/著 |
|
|
| 22 |
既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法 |
熊崎 敦司/ほか著 |
|
|
|
| 23 |
移動エージェント相互運用を実現するソフトウェアアーキテクチャ |
粂野 文洋/ほか著 |
|
|
|
| 24 |
階層的漸増テスト自動実行ツール |
山口 嘉文/ほか著 |
|
|
|
| 25 |
オブジェクト属性を利用したソフトウェアの視覚化 |
安原 継二/ほか著 |
|
|
|
| 26 |
プログラムの正規化に基づいた差分抽出法の提案 |
尾崎 憲幸/ほか著 |
|
|
|
| 27 |
実用規模システムへの形式手法の適用事例 |
田中 俊行/ほか著 |
|
|
|
| 28 |
グラフ分析エンジンGOAeの開発 |
張 漢明/ほか著 |
|
|
|
| 29 |
文書作成支援のためのWWWコンコーダンサー |
山之上 卓/ほか著 |
|
|
|
| 30 |
位置透過性を持つ分散プログラミング環境のD'Agentによる実現 |
本田 治/ほか著 |
|
|
|
| 31 |
射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発 |
松本 充広/著 |
二木 厚吉/著 |
|
|
| 32 |
AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証 |
山ノ口 崇/著 |
山根 智/著 |
|
|
| 33 |
RMIを用いた分散システム構築の自動化 |
油利 耕平/著 |
溝口 佳寛/著 |
|
|
| 34 |
Research topics discovery from WWW by keywords association rules |
David・Ramamonjisoa/ほか著 |
|
|
|
| 35 |
振舞仕様を用いたIPモジュールの記述に向けて |
海野 浩/ほか著 |
|
|
|
| 36 |
Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述 |
田原 康之/ほか著 |
|
|
|