プログラムを1回も動かさずに、なぜ「絶対にバグが起きない」と証明できるのか：形式検証とモデル検査の科学
Tags
10 ページ目
Software-Engineering
ローコード／ノーコード開発の光と影
ドメイン駆動設計（DDD）とユビキタス言語
バーバラ・リスコフ：抽象データ型と分散システムを築いた計算機科学者
Gitの内部構造：commit、tree、blobから理解する分散バージョン管理
【アジャイル宣言の裏側】現代ソフトウェア開発の基礎を築いた革命の軌跡
Unix哲学（モジュール設計の真髄）：単一責任とパイプが織りなすソフトウェアの芸術
オープンソース革命と「伽藍とバザール」：ソフトウェア開発の歴史を変えたパラダイムシフト
ブルックスの法則を徹底解剖：なぜ遅れたプロジェクトへの要員追加は火に油を注ぐのか
人類を月に導いたコード：マーガレット・ハミルトンとアポロ11号のソフトウェア工学
