InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example
![The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+](https://cdn-ak-scissors.b.st-hatena.com/image/square/932b14a9d60e9d58229e2970112dba97c49d2c1b/height=288;version=1;width=512/https%3A%2F%2Fres.infoq.com%2Fpresentations%2Faws-testing-tla%2Fen%2Fmediumimage%2FTimbig.jpg)
Since 2011, engineers at Amazon Web Services (AWS) have used formal specification and model checking to help solve difficult design problems in critical systems. Here, we describe our motivation and experience, what has worked well in our problem domain, and what has not. When discussing personal experience we refer to the authors by their initials. At AWS we strive to build services that are simp
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く