情報
レクチャーノート／ソフトウェア学 第25巻
ソフトウェア工学の基礎 VII
本書は、２０００年１１月に福岡県久山で開催された第７回ワークショップ（ＦＯＳＥ２０００）の論文集であり、招待講演論文と厳正な審査によって採択された３４編の論文から成っている。今回のワークショップでは、通常のセッションに加え、招待講演「ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について」とパネル討論「２１世紀におけるソフトウェア工学の基礎とは？」を設定し、活発な議論が行われた。本書には、それらも収録されている。
電子書籍¥3,850 小売希望価格（税込）
紙の書籍¥3,850小売希望価格（税込）
基本情報
| 発売日 | 2001年1月20日 |
|---|---|
| 本体価格 | 3,500円 |
| ページ数 | 280 ページ ※印刷物 |
| サイズ | B5 |
| ISBN | 9784764902879 |
| ジャンル | 情報 |
| タグ | ソフトウェア工学 |
| 電子書籍形式 | 販売無し |
主要目次
招待講演（ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について）
パネル討論（２１世紀におけるソフトウェア工学の基礎とは？）
プロセスモデル（建築施工のプロダクト中心のプロセスモデリング；建築施工の業務分析の一試行―躯体工事；ビジネスフローにおける一貫性制約の記述手法の提案）
プロセス計算（分散システムのためのプロセス論理の充足可能性；Ｓａｆｅ Ｄｙｎａｍｉｃｓ ｆｏｒ Ｄｉｓｔｒｉｂｕｔｅｄ Ｐｒｏｇｒａｍｍｉｎｇ；協調型分散システムへの時間導入法）
ビジネスプロセスモデリング（規律性のあるＩＤＥＦＯによる機能モデルとデータモデルの結合；信頼性向上のためのビジネスプロセス記述；離散系生産システムのためのデータモデリング法―プロパティセントリックモデリングによるアプローチ）
パネル討論（２１世紀におけるソフトウェア工学の基礎とは？）
プロセスモデル（建築施工のプロダクト中心のプロセスモデリング；建築施工の業務分析の一試行―躯体工事；ビジネスフローにおける一貫性制約の記述手法の提案）
プロセス計算（分散システムのためのプロセス論理の充足可能性；Ｓａｆｅ Ｄｙｎａｍｉｃｓ ｆｏｒ Ｄｉｓｔｒｉｂｕｔｅｄ Ｐｒｏｇｒａｍｍｉｎｇ；協調型分散システムへの時間導入法）
ビジネスプロセスモデリング（規律性のあるＩＤＥＦＯによる機能モデルとデータモデルの結合；信頼性向上のためのビジネスプロセス記述；離散系生産システムのためのデータモデリング法―プロパティセントリックモデリングによるアプローチ）