技術士第一次試験 専門科目情報工学部門 R02

表記法及び言語の中には、ソフトウェア及びコンポーネントのビヘイビアを記述するために用いられるものがある。ビヘイビア記述のために用いられる表記法、又は言語として、最も適切なものはどれか。