« チケット駆動開発が楽しい瞬間 | トップページ | アジャイルテストの4象限 »

2010/04/10

The Haskell Road to Logic, Maths and Programming

形式手法とアジャイル開発を絡めた手法を試している人もいる。
形式手法を使える状況は、VDMのように設計工程で仕様の整合性のチェックに使うか、SpinやLTSAのようにテスト工程で状態遷移図を使ってデッドロックのバグを見つけるのに使うかだろう。
つまり、設計書の品質向上に使えないか、下記で色々模索したが、自分の中では消化できてない。

形式手法とHaskellについてメモ: プログラマの思索

Haskellの環境づくり: プログラマの思索

とある方から、形式手法ではなくHaskellでもやれるよ、と「The Haskell Road To Logic, Maths And Programming (Texts in Computing)」という本を聞いたのでメモ。

PDFも無料で公開されている。

The Haskell Road to Logic, Math and Programming

論理式や形式手法を使うのは正直楽しくないが、Haskellで仕様を書くならば、関数型プログラミングの勉強にもなる。
ちょっと読んでみようと思う。

Haskellを勉強するなら「Real World Haskell―実戦で学ぶ関数型言語プログラミング」がサンプルが多いので便利。

Real World Haskell (jp)で日本語版が公開されている。

|

« チケット駆動開発が楽しい瞬間 | トップページ | アジャイルテストの4象限 »

ソフトウェア」カテゴリの記事

ソフトウェア工学」カテゴリの記事

コメント

コメントを書く



(ウェブ上には掲載しません)


コメントは記事投稿者が公開するまで表示されません。



トラックバック


この記事へのトラックバック一覧です: The Haskell Road to Logic, Maths and Programming:

« チケット駆動開発が楽しい瞬間 | トップページ | アジャイルテストの4象限 »