Similar to 形式的検証
プログラマブル・カウンタ
プログラマブルロジックコントローラ
Programmable logic controller
プログラマブルロジックデバイス
Programmable logic device
負論理
Logic level
MASH (信号変換)
マルチバイブレータ
Multivibrator
マルチプレクサ
Multiplexer
MIL論理記号
ラダー・ロジック
Ladder logic
リセット
Reset (computing)
リングカウンタ
Ring counter
レジスタ転送レベル
Register-transfer level
レジスタファイル
Register file
論理回路
Logic gate
論理合成
Logic synthesis
論理診断
ワイヤードロジック
Random logic
ワイヤード論理接続
Wired logic connectionソフトウェア工学
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)