11月 – 2014 – risk = nil;

Monthly Archives: 11月 2014

16/11/2014 – 10:29 AM

ここでは，原書にある例の続きである．要求3 会議参加予定者には，会議開始の少なくとも3週間前までに期日と場所の通知を行うこと．対応する様相論理記述 ∀p: Person, m: Meeting Holds(m) ∧ […]

By nil | Posted in 未分類 | コメントを受け付けていません

15/11/2014 – 1:58 PM

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

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

14/11/2014 – 8:21 AM

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

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