テストドリブン開発だとか、開発モデル(ウォーターフォールとかバザールと伽藍とか)だとか、
そのへんの話は数学的形式とは縁もゆかりもないかと。