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
最新問題