Z – risk = nil;

Tag Archives: Z

KAOS (103) 状態ベースの仕様 (4.4.3-4)

21/04/2016 – 8:18 AM

書架データスキーマ次に，書架データスキーマ（LibraryShelves）を定義する．書架という名前は難しい．貸出可能な本が，書架にあることは期待して良いかもしれない．しかし，貸出中の本は書架にはない．その部分は，書 […]

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

KAOS (102) 状態ベースの仕様 (4.4.3-3)

20/04/2016 – 6:46 AM

図書館登場人物データスキーマ次のデータスキーマは単純である．図書館システムに関係する登場人物（LibraryAgents）を定義しているデータスキーマである．図書館利用者（OrdinaryPatron）は，人（Per […]

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

KAOS (101) 状態ベースの仕様 (4.4.3-2)

19/04/2016 – 6:33 AM

ここからしばらくは，仕様記述言語Zについてである．この言語は，ISOで定義されているここでの例題は，図書館管理システムである（定番とも云える）．最初に，無条件に使える集合を宣言しておく．［Book, BookCop […]

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