Similar to Lustre_(プログラミング言語)

• 

  モンデックスカード

  Mondex
  
• 

  有限オートマトン

  Finite-state machine
  
• 

  ユニフィケーション

  Unification (computer science)
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  ループ不変条件

  Loop invariant
  
• 

  論理プログラミング

  Logic programming
  
• 

  セーフティクリティカルシステム

  Safety-critical system
  
• 

  モデリング言語

  Modeling language
  
• 

  C4モデル

  C4 model
  
• 

  Modelica

  Modelica
  
• 

  Rational Rhapsody

  Rational Rhapsody
  
• 

  Systems Modeling Language

  Systems modeling language
  
• 

  NGSI-LD

  NGSI-LD
  
• 

  XML Process Definition Language

  XPDL
  
• 

  YAWL

  YAWL
  ▲1 trends

  
• 

  IDEF

  IDEF
  
• 

  アーキテクチャ記述言語

  Architecture description language
  
• 

  アクティビティ図

  Activity diagram
  
• 

  実体関連図

  
• 

  状態遷移図

  State diagram
  
• 

  制御フローグラフ

  Control-flow graph
  
• 

  チャート

  Chart (disambiguation)
  
• 

  データフロー図

  Data-flow diagram
  
• 

  統一モデリング言語

  Unified Modeling Language
  
• 

  統計図表

  Chart
  
• 

  ビジネスプロセスモデリング表記法

  Business Process Model and Notation
  
• 

  フローチャート

  Flowchart
  
• 

  ブロック図

  Block diagram