著者

高木 徹

出版者

一般社団法人 経営情報学会

雑誌

経営情報学会 全国研究発表大会要旨集

巻号頁・発行日

vol.2004, pp.35, 2004

---

現在,数理的一般システム理論の枠組みで情報システムを開発するための形式的なアプローチについて研究が行われている.本論文では特にデータ処理システムを対象にした定式化の方法について解説し,例題を用いて開発手順について述べている.