11月 – 2014 – risk = nil;

Monthly Archives: 11月 2014

KAOS (85) 文を形式化する基礎としての論理：述語論理 (4.4.1-9)

01/11/2014 – 3:01 PM

前回修正した文を，材料として用いることにする．［一文目］製造業者は，（一つ又は複数の）ソフトウェア開発計画を確立すること．開発するソフトウェアシステムの適用範囲，規模およびソフトウェア安全クラス分類に適した開発プロセス […]

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