Model Base
Alloy Analyzer
最終更新:
modelbase
-
view
抽象によるソフトウェア設計/付録 A 練習問題 解答例
形式仕様記述ツールAlloy Analyzerの解説本「Software Abstractions」の邦訳「抽象によるソフトウェア設計-Alloyではじめる形式手法」が出版されたので、これを機会に書籍の付録にある練習問題に(興味のある箇所をつまみ食い的に)挑戦してみる。
Today: -
Yesterday: -