Similar to 詳細化
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus▲1 trends
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingソフトウェア工学
Software engineeringATLAS Transformation Language
ATLAS Transformation LanguageBinary Ninja
Binary Ninja
CI/CD
CI/CD
COSMIC—FFP
Eclipse Modeling Framework
Eclipse Modeling Framework
GRASP
GRASP (object-oriented design)
HCPチャート
MapReduce
MapReduce
Meta-Object Facility
Meta-Object Facility
Model View Controller
Model–view–controller
Model View ViewModel
Model–view–viewmodelQVT
QVTReal soon now
SSADM
Structured systems analysis and design method
Tekla Structures
Tekla Structures
アナリシスパターン
Software analysis patternアプリケーションストリーミング
Application streaming
イベント駆動型プログラミング
Event-driven programming
WEB
Web (programming system)