抄録
ソフトウェアの大規模化が進むにつれ、より系統的な開発を行うことが重要となっている。本研究室では系統的にソフトウェア開発を行うための設計支援ツールPerseusを開発している。本ツールはモジュール設計、ルーチン設計、データ構造設計などの設計工程を段階的に進めることができ、開発方法論やプログラミング言語に依存しないという汎用性も備えている。系統的な開発では設計と実装は分離され、多くのレビューを行うことにより設計を改善していく必要がある。今回、Perseusで設計した木構造のPDF出力を行った。本研究室で開発されたPDF添削システムGABAとの連携により、レビュー作業を効率化することができる。