図書館登場人物データスキーマ 次のデータスキーマは単純である.図書館システムに関係する登場人物(LibraryAgents)を定義しているデータスキーマである. 図書館利用者(OrdinaryPatron)は,人(Per […]
-
Pages
-
Categories
-
Archives
図書館登場人物データスキーマ 次のデータスキーマは単純である.図書館システムに関係する登場人物(LibraryAgents)を定義しているデータスキーマである. 図書館利用者(OrdinaryPatron)は,人(Per […]
ここからしばらくは,仕様記述言語Zについてである.この言語は,ISOで定義されている[ref]ISO/IEC 13568:2002 Information technology — Z formal spec […]