収録作品一覧

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

杉山安洋（編）／藤田ハミド（編）／武市正人（編集委員）／米澤明憲（編集委員）

作品	著者	ページ
ソフトウェア工学の基礎は堅牢か	阿草清滋著	３－４
埋め込み型プログラムの半自動生成	大須賀節雄著	５－１６
ソフトウェア工学の将来	五味隆志著	１７－１８
知的なソフトウェア工学に向けて	中島震著	１９－２２
評価戦略における完備性および厳密性解析	中村正樹著	２３－３４
真の並行プロセス論理における充足可能性判定のための項書換え系	磯部祥尚著	３５－４６
データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法	杉本英昭ほか著	４７－５８
ＴＲＭＩによる分散オブジェクト開発の自動化	千葉雄一郎著	５９－７０
ユースケースの縒合せによるＧＵＩプロトタイプ生成手法	白銀純子著	７１－８２
ＣｌａｓｓＦａｃｔｏｒｙを用いたグループ開発作業における排他制御方式の検討	佐藤友章著	８３－９２
細粒度リポジトリにおけるコメント管理方式	星野康ほか著	９３－１０４
再利用特性に基づくコンポーネントメトリクスの提案と検証	山本浩数ほか著	１０５－１１６
コンポーネント環境における独立条件記述に基づいた条件テスト手法	坂井悠樹ほか著	１１７－１２８
ＸＭＬを用いたソフトウェア関連文書とソースプログラムの整合性検査ツール	戸板晃一ほか著	１２９－１４２
実時間制約を考慮したマルチタスキングのモデル化	清野貴博ほか著	１４３－１４６
並行動作するオブジェクトからの処理列の抽出法	岡崎光隆ほか著	１４７－１５０
ＸＭＬ適用システム向けオブジェクト指向方法論	早瀬健夫ほか著	１５１－１５４
アーキテクチャ指向にみるパターンランゲージモデル	友枝敦著	１５５－１５８
カタルシス法用軽量フォーマルメソッド	松本充広ほか著	１５９－１６２
形式工学手法を用いたソフトウェア開発品質の改善	中農孝朗著	１６３－１６６
属性を介したメソッド間結合に基づくクラス凝集度メトリクスの提案	阿万裕久ほか著	１６７－１７０
Ｗｅｂアプリケーションにおけるデータ管理機能の構築支援	沢田篤史著	１７１－１７４
線形構造をしたＨＴＭＬ文書のＸＭＬによる管理	蜂巣吉成著	１７５－１７８
階層的漸増テストのためのテストスクリプト自動生成	伊藤正之ほか著	１７９－１８２
協調業務支援システムのプロトタイピングのための統合環境	川端亮ほか著	１８３－１８６
ネットワーク上のサービスの動的な検索・連携のための多階層コミュニケーション・モデル	来間啓伸著	１８７－１９０
モバイルコンピューティングのためのエージェントプラットフォームＭｏｌＦｉｅ	粂野文洋著	１９１－１９４
あるガベージコレクタ開発の経験	権藤克彦著	１９５－１９８
大学事務処理電子化のための環境の構築	太田健著	１９９－２０２