形式手法入門 ロジックによるソフトウェア設計

中島震【著】

• 販売会社／発売会社: オーム社
• 発売年月日: 2012/04/21
• JAN: 9784274211881

商品レビュー

2020/11/02

本分野の第一人者による入門書ということで期待していた。しかしながら、消化しながら理解して入門するのには不向きで、どちらかというと紹介というタイトルの方が適切に思えた。

2015/10/18

題名は「入門」だが形式手法って何ですかという人には全く役に立たない。
数学的にこう表現できる問題は、このツールではこう工夫することでこう書ける、ということがひたすら続く。もちろん各ツールの文法の説明みたいなものはない。それを使って何を確認できるのかとか、何の問題をその数学表現に落とし込んだのかといった視点はそもそもない。この、形而下的なところに触れたら負けみたいな姿勢は、著者は数学の方の出身ではなかろうか。
細々と、各ツールの出自についての歴史が紹介されているので、論文を書くときの参考文献に使ってもらうことを目的としているのかもしれない。

2014/11/23

入門書というよりサーベイ論文。あとAlloyを知らないと読めない。始めの方でちょろっと解説してるけど構文ごとの意味などはない。