実践 TLA+
その他- 著者:
- Hillel Wayne/株式会社クイープ
- 出版社:
- 翔泳社
- 出版日:
- 2021年09月15日頃
- ISBN:
- 9784798169163
中級者向け
TLA+形式的検証仕様設計分散システムモデルチェック並列処理アルゴリズムデータ構造ソフトウェアエンジニアリング理論的背景
なぜ注目されているか
総合623位 1 件の言及
言及 Qiita 記事 (1 件)
この本に興味がある方におすすめ
この本に関連
関連記事
障害対応の夜に思い出す、あの本の 1 ページ
本番障害の緊迫した場面で、過去に読んだ技術書の知識が助けてくれた経験はありませんか。「いつか役立つ」知識が「今この瞬間」に変わる読書の価値を考えます。
実践技術書
会議中に「あの本のあの図」が頭に浮かぶ瞬間
設計会議やアーキテクチャレビューの最中に、過去に読んだ技術書の図やダイアグラムが頭に浮かぶことがあります。この現象が起きる仕組みと、図を記憶に残す読書法を解説します。
実践読書術
技術書の内容を実務に活かす方法 - 読んで終わりにしない
技術書で学んだ知識を実際の仕事に適用するための 3 ステップを紹介。「読んだだけ」で終わらせず、スキルに変える具体的な方法を解説します。
実践活用法
関連用語
API ファーストデザイン
実装の前に API の仕様を設計 / 合意し、フロントエンドとバックエンドの並行開発を可能にするアプローチ
腐敗防止層
レガシーシステムと新システムの間に変換層を設け、新システムの設計を汚染から守るパターン
システムコール
ユーザー空間のプログラムが OS カーネルの機能を呼び出すインターフェース
CTF
隠された答えを見つけてセキュリティ技術を競う競技。実践的に攻防を学べる
ESLint
JavaScript/TypeScript のコード品質と一貫性を自動検証する静的解析ツール
OpenAPI
REST API の仕様を YAML/JSON で記述する標準フォーマットで、ドキュメント生成やコード生成に活用される