サクサク読めて、アプリ限定の機能も多数!
AWS ネットワーク設計を Alloy で記述…?
Hash のブックマーク 2016/10/23 22:50
形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta[AWS][network][Alloy]AWS ネットワーク設計を Alloy で記述…?2016/10/23 22:50
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.slideshare.net/slideshow2016/10/22
JAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し、仕様からインフラ設計を自動で生成する流れをお見せします。Read less
56 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
AWS ネットワーク設計を Alloy で記述…?
Hash のブックマーク 2016/10/23 22:50
このブックマークにはスターがありません。
最初のスターをつけてみよう!
形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta
www.slideshare.net/slideshow2016/10/22
JAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し、仕様からインフラ設計を自動で生成する流れをお見せします。Read less
56 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /