Category Archives: 形式仕様記述

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

21/04/2016 – 8:18 AM

書架データスキーマ 次に，書架データスキーマ（LibraryShelves）を定義する[ref]一部原著から書き換えた（エラーを避けるために，LoanLimitを宣言したのと，述語部の最後の式を分かりやすくした）[/re […]

By nil | Also posted in KAOS, 要求, 要求工学 | Tagged | KAOS (103) 状態ベースの仕様 (4.4.3-4) はコメントを受け付けていません

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

20/04/2016 – 6:46 AM

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

By nil | Also posted in KAOS, 要求, 要求工学 | Tagged | KAOS (102) 状態ベースの仕様 (4.4.3-3) はコメントを受け付けていません

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

19/04/2016 – 6:33 AM

ここからしばらくは，仕様記述言語Zについてである．この言語は，ISOで定義されている[ref]ISO/IEC 13568:2002 Information technology — Z formal spec […]

By nil | Also posted in KAOS, 要求, 要求工学 | Tagged | KAOS (101) 状態ベースの仕様 (4.4.3-2) はコメントを受け付けていません