Similar to プログラミングの統一理論
並行論理プログラミング
Concurrent logic programming
ペトリネット
Petri net
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical systemSemEval
SemEval
完全抽象化
公理的意味論
Axiomatic semantics
操作的意味論
Operational semantics
表示的意味論
Denotational semanticsソフトウェア工学
Software engineering
ソフトウェア考古学
Software archaeology
ソフトウェア開発哲学の一覧
List of software development philosophiesATLAS Transformation Language
ATLAS Transformation LanguageBinary Ninja
Binary Ninja
BPEL
Business Process Execution Language
CI/CD
CI/CD
COSMIC—FFP
Eclipse Modeling Framework
Eclipse Modeling Framework
GRASP
GRASP (object-oriented design)
HCPチャート