AI 駆動開発で「設計」はどこに書くのか ― 振る舞いをテストで検証できる「仕様」にしてみる

概要

AI駆動開発において設計の重要性が増す中、Mermaidのシーケンス図を仕様として定義し、Pythonの実行トレースを用いて実装の振る舞いを決定的に検証する手法を提案している。