Similar to Z言語
導出原理
Resolution (logic)
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
並行制約プログラミング
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 system
Eiffel
Eiffel (programming language)▲1 trendsProperty Specification Language
Property Specification LanguageSpec Sharp
公理的意味論
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