 コンピュータ用語集
ハードウェア
モバイル・スマートフォン
インターネット・Webデザイン
ネットワーク
アプリケーション
OS
デザイン・グラフィックス
その他
|
|
著者HillelWayne(著) クイープ(監訳)出版社翔泳社発売日2021年09月ISBN9784798169163ページ数261Pキーワードじつせんていーえるえーぷらすじつせん／TLA／＋ぷ ジツセンテイーエルエープラスジツセン／TLA／＋プ うえいん ひれる WAYNE ウエイン ヒレル WAYNE9784798169163内容紹介設計だってテストしたい！
【本書の内容】本書はHillel Wayne, "Practical TLA+",Apress, 2018の邦訳版です。
複雑精緻なシステムを構築する際に、設計そのもの、仕様そのものにバグがないかをテストできたら、もう少し幸せな開発人生を送れそうな気がします。
本書は送金システムの小規模な仕様からTLA+を使ってヤバいバグを発見するところから始まります。
この小さなサンプルをもとに、より良いアプリケーションの設計・テスト・構築に、どのようにTLA+を使えばよいかを理解し、実際のプロジェクトに援用できるよう、TLA+の演算子、論理、関数、PlusCal、モデル、および同時実行の基礎を学びます。
設計図の整理の仕方、分散システムや最終的な整合性の指定の仕方を学んだら、アルゴリズムのパフォーマンスやデータ構造、ビジネスコードやMapReduceなど、さまざまな実用的な問題にTLA+を適用し、ケーススタディのアプリケーションを使って実践します。
TLA+の生みの親であるLeslie Lamportも、理論的背景を脚注で解説するなど、最先端のシステム開発テクノロジーのコアに触れることのできる1冊です。
【本書のポイント】・TLA+の言語仕様を手を動かしながら学べる・小さなサンプルから並行処理や分散システムまでTLA+を適用できるようになる・短時間で読み終わるものの滋養は豊富【読者が得られること】・TLA+が理解できる・TLA+を使ったシステム開発に乗り出せる・上流からテスト駆動ができる・バグの少ないシステムを構築できる【対象読者】・アーキテクト・デベロッパー・エンジニア【著者について】
●Hillel Wayne（ヒレル・ウェイン）形式手法と仕様記述を専門とするソフトウェアコンサルタント。
経験工学、ソフトウェアの歴史、教育などについても造詣が深い。
ジャグリングとチョコレート作りが趣味。
シカゴ在住。
その他の活動は、hillelwayne.comまたはTwitterの@hillelogramでご覧いただける。
※本データはこの商品が発売された時点の情報です。
目次第1部 TLA＋とPlusCalのセマンティクス（例/PlusCal/演算子と関数/定数、モデル、インポート/並行処理 ほか）/第2部 TLA＋の適用（アルゴリズム/データ構造/状態機械/ビジネスロジック/MapReduce）/付録
商品を詳しく見る
¥ 3,850-(税込)
#ショップ名 ：
bookfan 1号店 楽天市場店
#送料 ：
送料込
#クレジットカード ：
利用可
#海外配送 ：
海外配送不可
#あす楽 ：
翌日配送不可
#ギフト ：
ギフト包装不可能
商品を詳しく見る
「プログラミング」の関連商品を見る
「プログラミング」の人気商品を見る
「bookfan 1号店 楽天市場店」の他の商品を見る
| | |
|
