長所と短所 前回までで，Z言語を用いた記述法に関して，教科書に沿った内容を記述した（もちろん全部ではない）． 最後にまとめである． 以下の良い点を持つ素直なアプローチだとしている． システムの状態空間を説明するための数学 […]
-
Pages
-
Categories
-
Archives
Tag Archives: Z
KAOS (105) 状態ベースの仕様 (4.4.3-6)
25/04/2016 – 6:35 AM
貸出操作スキーマ 今回は，操作スキーマを定義する．これまでのデータスキーマは，時間によって変化しないものを示している．操作スキーマが与えるのは，操作による動的な変化である． 操作スキーマでも，既に定義しているデータスキー […]
KAOS (104) 状態ベースの仕様 (4.4.3-5)
22/04/2016 – 8:54 PM
図書館システムデータスキーマ これまで準備したスキーマを用いて，図書館システム（LibrarySystem）を定義する． 宣言部では，以前に作成したスキーマを利用している（Directory は，101回目で，Libra […]