Similar to Z言語
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical systemProperty Specification Language
Property Specification LanguageSpec Sharp
公理的意味論
Axiomatic semantics
操作的意味論
Operational semantics
表示的意味論
Denotational semanticsソフトウェア工学
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–viewmodelSSADM
Structured systems analysis and design method