形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta

テクノロジーカテゴリーの変更を依頼記事元:

www.slideshare.net/y_taka_23

56 usersがブックマークコメント

コメント

2

記事へのコメント2件

注目コメント
新着コメント

Hash AWS ネットワーク設計を Alloy で記述…?

2016/10/23 リンク

vanbraam 可視化機能が良さげ;AWS上の様々なサービスのAlloyモデルが,公式から提供されているといいのに

2016/10/23 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfesta

JAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し... JAWS Festa 東海道 2016 の発表スライドです。モデル検査器 Alloy を用いて AWS のリソースをモデル化し、仕様からインフラ設計を自動で生成する流れをお見せします。Read less

ブックマークしたユーザー

delegate2021/03/17
mkusaka2020/08/29
serihiro2020/06/01
termoshtt2020/04/16
undiscokidd2020/02/20
nabinno2019/06/12
wh11e7rue2018/11/13
banana-umai2018/09/12
stereocat2017/08/30
yaaamaaaguuu2017/08/27
AT_libra2017/08/21
rydot2017/05/21
yogasa2017/02/12
korin2016/10/27
techman9992016/10/25
simizut222016/10/24
komlow2016/10/24
kimthehat2016/10/24

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx