抽象によるソフトウェア設計－Alloyではじめる形式手法－
https://www.kinokuniya.co.jp/images/goods/ar2/web/eimgdata/EK-0302220.jpg
https://techbooks.jp/book/抽象によるソフトウェア設計−Alloyではじめる形式手法−/5c2766cf875aaccac6261531
https://www.infoq.com/jp/articles/Alloy/
サンプルコード:
https://softwareabstractions.org/models/a4-models-index.html
AI 駆動開発
に向けて、
Alloy
を最低限読み書きできるように読みたい
radish-miyazaki.icon
実践TLA+
と併せて
AIと共に進化する開発手法：形式手法と関数型プログラミングの可能性
目次
ざっと一巡り
論理系
言語
解析
事例
練習問題
Alloy 言語リファレンス
中核の意味論
図的記法
Alloy 以外の手法
Alloy Analyzer クイックガイド
訳語一覧
#未読
#Alloy
#形式手法