くりらじ静岡局から、技術屋目線で技術情報を追いかける番組をお届けします。
…
continue reading
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
Player FM -ポッドキャストアプリ
Player FMアプリでオフラインにしPlayer FMう!
Player FMアプリでオフラインにしPlayer FMう!
#45 – Why Amazon Chose TLA +
Manage episode 225222705 series 2151064
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/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
135 つのエピソード
Manage episode 225222705 series 2151064
コンテンツは Hajime Morrita , Jun Mukai によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャスト コンテンツは、Hajime Morrita , Jun Mukai またはそのポッドキャスト プラットフォーム パートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/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
135 つのエピソード
すべてのエピソード
×プレーヤーFMへようこそ!
Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。 これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。 全ての端末で購読を同期するためにサインアップしてください。