Category Archives: KAOS

KAOS (96) 過程ベースの仕様 (4.4.2-8)

15/11/2014 – 1:58 PM

ここでは，原書にある例を幾つか見る． 要求1 列車のドアは，プラットフォーム（駅）間では，閉まっていなければならない．但し，緊急事態のためにプラットフォーム間で停止している間は除く． 対応する様相論理記述 ∀tr: Tr […]

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

KAOS (95) 過程ベースの仕様 (4.4.2-7)

14/11/2014 – 8:21 AM

最初は，操作（証明）を行う時に必要な公理である[ref]これまでは，余り公理を明示化してこなかった．もちろん，公理は体系を定める上では重要であり．正確に議論するためには必要である．[/ref]．様相論理の場合は，少し複雑 […]

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

KAOS (94) 過程ベースの仕様 (4.4.2-6)

13/11/2014 – 2:09 PM

今回は，過去を示す演算子である．引き続き教科書[ref]Pnueli, Amir, and Zohar Manna. “The temporal logic of reactive and concurren […]

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