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

Mizar system

Semi-Thue system

Model checking

Mondex

Finite-state machine

Unification (computer science)

Lambda calculus

Loop invariant

Logic programming

SemEval

Axiomatic semantics

Operational semantics

Denotational semantics

Software engineering

ATLAS Transformation Language

Binary Ninja

Business Process Execution Language

CI/CD

Eclipse Modeling Framework

GRASP (object-oriented design)

MapReduce

Meta-Object Facility

Model–view–controller

Model–view–viewmodel

QVT