Tag Archives: 集合論

KAOS (100) 状態ベースの仕様 (4.4.3-1)

形式仕様記述言語は,何らかの数学的な体系に従って,作られている.このうち,よく使用される形式的仕様記述言語は,(公理的)集合論に基づいているものが多い.原書にある集合論に基づく形式的仕様記述言語の例は,以下である. Z, […]