Similar to プログラミングの統一理論

Specification and Description Language

B-Method

Formal verification

Refinement (computing)

Static program analysis

Z notation

Semantics (computer science)

Hoare logic

No Silver Bullet

Software Engineering Body of Knowledge

Software design pattern

The Mythical Man-Month

Formal methods

CICS

Communicating sequential processes

DPLL algorithm

Guarded Command Language

Lustre (programming language)

Planner (programming language)

PlusCal

TLA+

Vienna Development Method

Proof of concept

Typed lambda calculus

Gröbner basis

Formal specification

Formal system