z-notation

    0热度

    1回答

    如何正确设计此方案的Z模式？

    我发现的所有例子只有两个声明such as name and date OR members and telephone。但是，我的情况是这样的： 我想创建一个名为AppointmentDB的Z模式。 AppointmentDB 保持约会的细节，目的，参加者和时间表 我取（编者）： 有5点声明和1谓词 |--AppointmentDB---------------- |attendees : P
    formal-methods z-notation 2015-04-19

    2热度

    1回答

    如何正式化Uml

    有没有办法将UML转换（形式化）为Z表示法？ 我的意思是说有什么方法可以将UML需求重新写入像z这样的形式语言？ 对不起我的英语不好，我的母语不是英语。 谢谢。
    uml z-notation formalize 2013-04-07

    7热度

    2回答

    LyX中的Zed符号

    LyX中可以创建Zed Notation方案吗？如何做呢？
    latex specifications lyx z-notation 2010-04-14

    1热度

    1回答

    Zed的规范：促进和应用操作一个以上的架构

    我有一个Array模式，它跟踪的Data模式序列。使用促销，我可以促进Increment操作使用Array。 ArrayIncrement只在Array内增加一个数据。我该如何使它在\ran data中每增加Data？
    specifications formal-languages formal-methods z-notation 2017-10-12

    0热度

    1回答

    在Z表示法中，如何定义整数的除法运算

    我想知道是否有人在这里甚至在专业环境中使用“Z符号”。 只是很想知道一些Z或您的应用程序的常用应用程序。 对于那些谁不熟悉：http://staff.washington.edu/jon/z/z-examples.html 我想知道“在[Z]符号，如何定义整数除法运算”
    z-notation 2017-02-09

    0热度

    1回答

    如何显示集合关系的“数量”？

    请看看下面的 taking’ = taking ∪ {s? → m?} 正如你所看到的，taking是一个关系，其中s映射到m的名称。上面的关系显示了添加过程（联合），我在这个关系中添加了一个新的maptlet。 但是，我需要得到此关系中可用的s的编号。我怎么才能得到它？下面是我做了什么 #taking = numberOfStudents 但我不知道这件事。请帮助
    formal-methods z-notation 2013-07-31

    2热度

    1回答

    Z符号：2D阵列的表示

    我是Z符号的完整初学者。我需要在Z中表示一个图类型。我拥有的想法是使用一个关联矩阵，以便我可以轻松地在节点和边之间自由移动。 唯一的问题是，我不知道如何指定Z中的关联矩阵。我认为我需要一个二维数组，但通过查看可用于Z表示法的参考资料，数组通常用起。是否有另一种方式来指定多维数组？ 在此先感谢。
    graph multidimensional-array formal-methods z-notation 2012-10-10

    6热度

    3回答

    LaTeX中的Z规格

    LaTeX是否有支持写入Z规格的包？我对模式的横向和纵向格式都感兴趣。
    latex lyx z-notation 2010-06-19

    1热度

    1回答

    形式化方法（Z-符号） - 添加新的倍数关系

    我们已经得到了接受以下 一条线，一个BUS_ID和BUSROAD 给定的总线操作Bus_Arrives线路到达车站，并分配一个空的 巴士路（如果有的话）。否则它进入一个队列。 -------- New_Bus_Arrives ----------------------------------- --------------------------------------------------
    formal-languages formal-methods z-notation 2014-01-05
最新问题