独りで始める Concrete and Specific Programming(CSP) http://madscientist.jp/~ikegami/diary/20070822.html#p01 このエントリでは、開発側の夢を実現するためのプログラミング技術 Concrete and Specific Programming を提唱します。 Concrete and Specific Programming では、最初に「夢」を書くことを提唱します。次に、設計書を書き、次に、仕様に基づいたテストスイーツを書き、最後に実装します。 Haskell の QuickCheck 関連でヒットしたページ。 私は今現状の lucille を gappa や coq, SPIN などの Formal verification や model verification を使って 一から書き