集合論 – risk = nil;

Tag Archives: 集合論

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

19/11/2014 – 7:26 AM

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

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | コメントを受け付けていません