proto_jpのブックマーク - はてなブックマーク

http://lucille.atso-net.jp/blog/?p=809
proto_jp 2009/05/13
いずれにせよ、ひとつの時代が終わるのは確かでしょう.
リンク
lucille development blog » Blog Archive » 独りで始める Concrete and Specific Programming(CSP)
独りで始める 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 を使って一から書き
proto_jp 2008/08/08
ただ、このようなやりかたってどうしても抜けがでる。

programming
リンク
1

はてなブックマーク