収録作品一覧
ソフトウェア工学の基礎 ７ 日本ソフトウェア科学会ＦＯＳＥ２０００ （レクチャーノート／ソフトウェア学）
- 古川 善吾（編）／ 広田 豊彦（編）／ 武市 正人（編集委員）／ 米澤 明憲（編集委員）
| 作品 | 著者 | ページ |
|---|---|---|
| ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について | 橋本正明 著 | １－１０ |
| ２１世紀におけるソフトウェア工学の基礎とは？ | 野呂昌満 ほか討議 | １１－１２ |
| 建築施工のプロダクト中心のプロセスモデリング | 三浦友徳 ほか著 | １３－２０ |
| 建築施工の業務分析の一試行 | 阿満誠也 ほか著 | ２１－２８ |
| ビジネスフローにおける一貫性制約の記述手法の提案 | 由良俊介 ほか著 | ２９－３６ |
| 分散システムのためのプロセス論理の充足可能性 | 磯部祥尚 著 | ３７－４４ |
| Ｓａｆｅ ｄｙｎａｍｉｃｓ ｆｏｒ ｄｉｓｔｒｉｂｕｔｅｄ ｐｒｏｇｒａｍｍｉｎｇ | 藤田憲悦 著 | ４５－５２ |
| 協調型分散システムへの時間導入法 | 中山竜二 ほか著 | ５３－６０ |
| 規律性のあるＩＤＥＦＯによる機能モデルとデータモデルの結合 | 上村学 ほか著 | ６１－６８ |
| 信頼性向上のためのビジネスプロセス記述 | 今井慈郎 ほか著 | ６９－７６ |
| 離散系生産システムのためのデータモデリング法 | 山田功 著 | ７７－８４ |
| ヴァリアントの継承について | 香川考司 著 | ８５－９２ |
| 多相ヴァリアントによるコード再利用 | Ｊａｃｑｕｅｓ・Ｇａｒｒｉｇｕｅ 著 | ９３－１００ |
| Ｍ－ｐｉ計算に対する型システム | 塚崎悟 著 | １０１－１０８ |
| 情報アーキテクチャの概念に基づくＷｅｂサービス要求分析手法 | 荻原剛志 ほか著 | １０９－１１６ |
| ＨＯＬを用いたオブジェクト指向分析モデルの検証 | 立石孝彰 ほか著 | １１７－１２４ |
| アーキテクチャ指向による要求分析 | 友枝敦 著 | １２５－１３２ |
| Ｃｈｉｄａｍｂｅｒのメトリクスを用いたオブジェクト指向プログラムの再設計 | 伊藤謙心 ほか著 | １３３－１４１ |
| ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス | 黒田隆一 ほか著 | １４１－１４８ |
| 細粒度コンポーネント環境における履歴クラスタリング | 鷲崎弘宜 ほか著 | １４９－１５６ |
| オブジェクト指向組み込みシステム開発のための設計モデルＳＥＳモデル | 青木利晃 著 | １５７－１６４ |
| 既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法 | 熊崎敦司 ほか著 | １６５－１７２ |
| 移動エージェント相互運用を実現するソフトウェアアーキテクチャ | 粂野文洋 ほか著 | １７３－１８０ |
| 階層的漸増テスト自動実行ツール | 山口嘉文 ほか著 | １８１－１８８ |
| オブジェクト属性を利用したソフトウェアの視覚化 | 安原継二 ほか著 | １８９－１９６ |
| プログラムの正規化に基づいた差分抽出法の提案 | 尾崎憲幸 ほか著 | １９７－２０４ |
| 実用規模システムへの形式手法の適用事例 | 田中俊行 ほか著 | ２０５－２０８ |
| グラフ分析エンジンＧＯＡｅの開発 | 張漢明 ほか著 | ２０９－２１２ |
| 文書作成支援のためのＷＷＷコンコーダンサー | 山之上卓 ほか著 | ２１３－２２０ |
| 位置透過性を持つ分散プログラミング環境のＤ’Ａｇｅｎｔによる実現 | 本田治 ほか著 | ２２１－２２８ |
| 射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発 | 松本充広 著 | ２２９－２３６ |
| ＡＮＤ構造とＯＲ構造の分解による実時間ソフトウェアの安全性の演繹的検証 | 山ノ口崇 著 | ２３７－２４４ |
| ＲＭＩを用いた分散システム構築の自動化 | 油利耕平 著 | ２４５－２４８ |
| Ｒｅｓｅａｒｃｈ ｔｏｐｉｃｓ ｄｉｓｃｏｖｅｒｙ ｆｒｏｍ ＷＷＷ ｂｙ ｋｅｙｗｏｒｄｓ ａｓｓｏｃｉａｔｉｏｎ ｒｕｌｅｓ | Ｄａｖｉｄ・Ｒａｍａｍｏｎｊｉｓｏａ ほか著 | ２４９－２５６ |
| 振舞仕様を用いたＩＰモジュールの記述に向けて | 海野浩 ほか著 | ２５７－２６０ |
| Ｍｏｂｉｌｅ ＵＮＩＴＹによるモバイルエージェントセキュリテイの形式的仕様記述 | 田原康之 ほか著 | ２６１－２６６ |
システム開発・設計 ランキング
システム開発・設計のランキングをご紹介しますシステム開発・設計 ランキング一覧を見る
