実践 TLA+
- 著者:
- Hillel Wayne/株式会社クイープ
- 出版社:
- 翔泳社
- 出版日:
- 2021年09月15日頃
- ISBN:
- 9784798169163
中級者向け
TLA+形式的検証仕様設計分散システムモデルチェック並列処理アルゴリズムデータ構造ソフトウェアエンジニアリング理論的背景
なぜ注目されているか
総合
623位
1 件の言及言及 Qiita 記事 (1 件)
この本に興味がある方におすすめ
この本に関連
関連記事
関連用語
システムコール
ユーザー空間のプログラムが OS カーネルの機能を呼び出すインターフェース
腐敗防止層
レガシーシステムと新システムの間に変換層を設け、新システムの設計を汚染から守るパターン
ACM
AWS Certificate Manager の略で、SSL/TLS 証明書を無料で発行・管理・自動更新するサービス
SpringBoot
Java の定番フレームワーク Spring を、設定を簡素化して手早く使えるようにした基盤
iOS
Apple の iPhone・iPad 向けモバイル OS。ハードとソフトの統合と審査の厳格さが特徴
Strangler Fig パターン
レガシーシステムを段階的に新システムへ移行する設計パターン