Similar to プログラミングの統一理論
Mizar
Mizar system文字列書き換え系
Semi-Thue systemモデル検査
Model checkingモンデックスカード
Mondex有限オートマトン
Finite-state machineユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus▲1 trendsループ不変条件
Loop invariant論理プログラミング
Logic programmingSemEval
SemEval完全抽象化
公理的意味論
Axiomatic semantics操作的意味論
Operational semantics表示的意味論
Denotational semanticsソフトウェア工学
Software engineeringATLAS Transformation Language
ATLAS Transformation LanguageBinary Ninja
Binary NinjaBPEL
Business Process Execution LanguageCI/CD
CI/CDCOSMIC—FFP
Eclipse Modeling Framework
Eclipse Modeling FrameworkGRASP
GRASP (object-oriented design)HCPチャート
MapReduce
MapReduceMeta-Object Facility
Meta-Object FacilityModel View Controller
Model–view–controllerModel View ViewModel
Model–view–viewmodelQVT
QVT