実践TLA+

設計だってテストしたい!Hillel Wayne, ""Practical TLA+"",Apressの邦訳版です。複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。

この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。

TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。

【ポイント】
・TLA+の言語仕様を手を動かしながら学べる
・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる
・短時間で読み終わるものの滋養は豊富

【得られること】
・TLA+が理解できる
・TLA+を使ったシステム開発に乗り出せる
・上流からテスト駆動ができる
・バグの少ないシステムを構築できる

【対象読者】
・アーキテクト
・デベロッパー
・エンジニア

【著者について】
●Hillel Wayne(ヒレル・ウェイン)
形式手法と仕様記述を専門とするソフトウェアコンサルタント。経験工学、ソフトウェアの歴史、教育などについても造詣が深い。ジャグリングとチョコレート作りが趣味。シカゴ在住。その他の活動は、hillelwayne.comまたはTwitterの@hillelogram

色に関して、撮影状況やご使用のパソコン環境により、実物と多少色が異なる場合がございます。サイズに関して、ブランドや商品によって実際のサイズと異なる場合がございますので、ご不明な場合は、出品者にお問い合わせください。

サイズ	指定なし
フリーサイズ	○

モデル検査の基本がわかる

※配送方法が複数ある場合はカート内にて変更ができます。
※配送会社の状況等によって、商品到着日が遅れる場合がございます。あらかじめご了承ください。

配送方法	送料	追跡	配送目安
その他(配送無料)	￥0	なし	５日～１０日