レクチャーノート/ソフトウェア学 --
古川善吾 /編, 廣田豊彦 /編   -- 近代科学社 -- 2001.01 -- 26cm -- 266p

資料詳細

タイトル ソフトウェア工学の基礎 7
シリーズ名 レクチャーノート/ソフトウェア学
著者名等 古川善吾 /編, 廣田豊彦 /編  
出版 近代科学社 2001.01
大きさ等 26cm 266p
分類 007.63
件名 電子計算機-ソフトウェア
注記 日本ソフトウェア科学会FOSE 2000 シリーズの編者:武市正人,米澤明憲
要旨 本書は、2000年11月に福岡県久山で開催された第7回ワークショップ(FOSE2000)の論文集であり、招待講演論文と厳正な審査によって採択された34編の論文から成っている。今回のワークショップでは、通常のセッションに加え、招待講演「ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について」とパネル討論「21世紀におけるソフトウェア工学の基礎とは?」を設定し、活発な議論が行われた。本書には、それらも収録されている。
目次 招待講演(ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について);パネル討論(21世紀におけるソフトウェア工学の基礎とは?);プロセスモデル(建築施工のプロダクト中心のプロセスモデリング;建築施工の業務分析の一試行―躯体工事;ビジネスフローにおける一貫性制約の記述手法の提案);プロセス計算(分散システムのためのプロセス論理の充足可能性;Safe Dynamics for Distributed Programming;協調型分散システムへの時間導入法);ビジネスプロセスモデリング(規律性のあるIDEFOによる機能モデルとデータモデルの結合;信頼性向上のためのビジネスプロセス記述;離散系生産システムのためのデータモデリング法―プロパティセントリックモデリングによるアプローチ)
ISBN(13)、ISBN    4-7649-0287-7
書誌番号 1101002275
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1101002275

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/1423/25 一般書 利用可 - 2023778052 iLisvirtual