z-notation

1熱

1答えて

ゼッド仕様：プロモーションや操作を複数のスキーマを適用

私はDataスキーマのシーケンスを追跡Arrayスキーマを持っています。プロモーションを使用して、Arrayで使用するIncrementの操作を宣伝できます。 ArrayIncrementは、Arrayの中で1つのデータをインクリメントします。 ごとにDataを入力して\ran dataに増やす方法を教えてください。

specifications formal-languages formal-methods z-notation 2017-10-12

---

0熱

1答えて

Z表記で、整数の除算演算を定義する方法

プロの環境で "Z表記"を使用した人がいるかどうか知りたいと思っていました。 Zまたはアプリケーションの一般的に知られているアプリケーションを知りたいだけなのです。慣れていない人のために ：私は整数の除算がすでにZの数学的なツールキットの一部である

z-notation 2017-02-09

---