未分類 – risk = nil;

Category Archives: 未分類

16/11/2014 – 10:29 AM

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

By nil | コメントを受け付けていません

10/10/2014 – 8:38 AM

問題図 M. Jackson の問題-フレーム分析（PFA）で用いられる図である（PFAに関する最近の論文には，「幾つかの原則とアイデア」という論文がある）．例題（会議スケジュール管理システム）としては同じで，前回のP […]

By nil | Also posted in KAOS, 要求, 要求工学 | Tagged 問題フレーム | コメントを受け付けていません

29/09/2014 – 7:20 AM

（…）様々な貢献型がある．”マイナス”の貢献をするものからプラスの大きな貢献をするものまで．プラスから順番に並べると次のようになる．実現する（MAKE,++），助けになる（HELP,+ […]

By nil | Also posted in KAOS, リスク, 要求, 要求工学 | コメントを受け付けていません