著者

小高 文博 佐藤 建吉

雑誌

研究報告情報システムと社会環境(IS)

巻号頁・発行日

vol.2011-IS-117, no.8, pp.1-4, 2011-08-29

---

現代社会を支える情報システムは,巨大化し階層化された複雑なシステムであるが,複雑化した仕様によるシステム完全理解の困難さによる実装の不完全のため,未来に障害となりうる要因を宿命的に抱えているシステムとも言える.情報システムの核となるソフトウェア開発プロセスの信頼性向上や生産性向上を目的とした言語や開発方法・技法が生まれたが決定打はない.これは,プログラミングの開始時点ではまだ設計工程が完了形ではないにも関わらず,製造工程として,プログラミングを行うためである.プログラミングを設計工程としてとらえ,詳細設計とプログラムコードを同時に表せるような設計記法の可能性について考察する.