Category Archives: 要求

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

19/11/2014 – 7:26 AM

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

By nil | Also posted in KAOS, 形式仕様記述, 要求工学 | Tagged | KAOS (100) 状態ベースの仕様 (4.4.3-1) はコメントを受け付けていません

KAOS (99) 過程ベースの仕様 (4.4.2-11)

18/11/2014 – 7:49 AM

これまでの例で見たように，時相論理により，自然言語に近い形で要求や前提を記述することができることが分かる．一方で，常に自然に記述できるというわけではない．少し複雑な式になると，直感的に意味をとりづらくなる． 対処の方法と […]

By nil | Also posted in KAOS, 形式仕様記述, 要求工学 | Tagged , | KAOS (99) 過程ベースの仕様 (4.4.2-11) はコメントを受け付けていません

KAOS (98) 過程ベースの仕様 (4.4.2-10)

17/11/2014 – 7:51 AM

ここまでは，線形時間論理（LTL）と呼ばれる時間を線形でモデル化したときの演算子についてであった．分岐で時間をモデル化する場合もある．代表的なものに，CTL（Computation Tree Logic)がある．  時間 […]

By nil | Also posted in KAOS, 形式仕様記述, 要求工学 | KAOS (98) 過程ベースの仕様 (4.4.2-10) はコメントを受け付けていません