収録作品一覧

ソフトウェア工学の基礎７日本ソフトウェア科学会ＦＯＳＥ２０００（レクチャーノート／ソフトウェア学）

古川善吾（編）／広田豊彦（編）／武市正人（編集委員）／米澤明憲（編集委員）

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