Category:形式仕様記述言語

• 

  プログラム意味論

  
• 

  VDM

  
• 

  仕様及び記述言語

  
• 

  仕様記述言語

  
• 

  Z言語

  
• 

  形式仕様記述

  
• 

  プロセス計算

  
• 

  B-Method

  
• 

  Spec Sharp

  
• 

  Object Constraint Language

  
• 

  操作的意味論

  
• 

  Property Specification Language

  
• 

  公理的意味論

  
• 

  表示的意味論

  
• 

  PlusCal

  
• 

  Eiffel

  
• 

  ペトリネット