毎週水曜日更新中!
#45 – Why Amazon Chose TLA +
Manage episode 225222705 series 2151064
著作 Hajime Morrita , Jun Mukai の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreadingchat.files.wordpress.com/2019/01/ep45.mp3
- Why Amazon Chose TLA + | SpringerLink (Google Scholar)
- Practical TLA+: Planning Driven Development: Hillel Wayne
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport
- TLA+tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Follow up
91 つのエピソード