The Haskell Road to Logic, Maths and Programming
形式手法とアジャイル開発を絡めた手法を試している人もいる。
形式手法を使える状況は、VDMのように設計工程で仕様の整合性のチェックに使うか、SpinやLTSAのようにテスト工程で状態遷移図を使ってデッドロックのバグを見つけるのに使うかだろう。
つまり、設計書の品質向上に使えないか、下記で色々模索したが、自分の中では消化できてない。
とある方から、形式手法ではなく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)で日本語版が公開されている。
| 固定リンク
「ソフトウェア」カテゴリの記事
- MATLABとPythonのリンク(2021.06.06)
- プログラマとスクラムが社会実装を変えていく #Findy_GovTech(2021.03.02)
- TeamsとSlack、Zoomの違いは組織文化の違いを助長しているのではないか(2021.02.15)
- マインドマップをFreeplaneに乗り換えた(2020.11.21)
- ソフトウェアの政治的影響力とは何だろうか(2020.07.07)
「ソフトウェア工学」カテゴリの記事
- OODAループの時代は、大事なのは使命であり、目標は使命達成のための手段に過ぎない(2021.08.01)
- INSPIRED 熱狂させる製品を生み出すプロダクトマネジメントの感想～日本に足りないのはプロダクトマネジャーだ(2021.08.01)
- CISOは経営がわかる情報セキュリティ最高責任者である(2021.08.01)
- プログラマが「何をやっているか分からない」「何が分からないか分からない」状態から脱出する記事がとても良い(2021.07.18)
- 組込ソフトウェア開発のための3部作「構造化モデリング」「オブジェクト指向モデリング」「リバースモデリング」を読んでいて楽しい(2021.07.11)
コメント