4月 – 2016 – risk = nil;

Monthly Archives: 4月 2016

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

20/04/2016 – 6:46 AM

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

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

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 | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | Tagged Z | コメントを受け付けていません