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)で日本語版が公開されている。
| 固定リンク
「ソフトウェア」カテゴリの記事
- 「RedmineのUbuntu+Docker構築への移行」の感想 #redmineT(2024.11.24)
- Javaのモジュールシステムの考え方をまとめてみた(2022.10.21)
- Javaのenum型はシングルトンクラスみたいだ(2022.06.20)
- テスラが従来の自動車メーカーと異なるところは工場までソフトウェア化すること(2022.02.09)
- 「RubyやRailsは終わった」という記事のリンク(2022.01.09)
「ソフトウェア工学」カテゴリの記事
- Jiraの機能はTracに似ている気がする #redmine(2025.06.01)
- チームトポロジーの感想～大規模アジャイル開発でも組織構造は大きく変化する(2025.01.01)
- Redmineは組織のナレッジ基盤として実現可能なのか～島津製作所の事例を読み解く #redmineT(2024.12.29)
- アーキテクチャ設計はベストプラクティスを参照するプロセスに過ぎないのか？～Software Processes are Software, Too（ソフトウェアプロセスもまたソフトウェアである）(2024.09.22)
- 「システムアーキテクチャ構築の原理」の感想part2～非機能要件がシステムのアーキテクチャに影響を与える観点をプロセス化する(2024.05.06)
コメント