書架データスキーマ 次に,書架データスキーマ(LibraryShelves)を定義する[ref]一部原著から書き換えた(エラーを避けるために,LoanLimitを宣言したのと,述語部の最後の式を分かりやすくした)[/re […]
-
Pages
-
Categories
-
Archives
書架データスキーマ 次に,書架データスキーマ(LibraryShelves)を定義する[ref]一部原著から書き換えた(エラーを避けるために,LoanLimitを宣言したのと,述語部の最後の式を分かりやすくした)[/re […]
図書館登場人物データスキーマ 次のデータスキーマは単純である.図書館システムに関係する登場人物(LibraryAgents)を定義しているデータスキーマである. 図書館利用者(OrdinaryPatron)は,人(Per […]
ここからしばらくは,仕様記述言語Zについてである.この言語は,ISOで定義されている[ref]ISO/IEC 13568:2002 Information technology — Z formal spec […]