formalize

2熱度

1回答

有沒有辦法將UML轉換（形式化）爲Z表示法？我的意思是說有什麼方法可以將UML需求重新寫入像z這樣的形式語言？對不起我的英語不好，我的母語不是英語。謝謝。

0熱度

1回答

我一直在努力讓中間人，指南針和形式一起工作，但迄今沒有太多的運氣。我做安裝指南針形式化插件 sudo gem install compass_formalize ...我也添加強制性要求，以config.rb require "compass_formalize" ...但效果是我的樣式表可以找到（與@import "formalize"; ），但我不知道如何拉入JavaScript文件

1熱度

1回答

事件B證明義務

我在事件B中有問題來履行證明義務。在我的工作中，我想正式確定內存保護要求的規範，以檢查它們之間的一致性。爲了做到這一點，我使用了Event-B上下文來形式化系統結構，並使用Event-B Machine來描述需求。 Invariant和Event都描述了每個需求。事件-B將檢查每對要求以找出不一致。但是，它不能證明兩者的要求是一致的： 1：「從讀訪問不可信到DATA_SECTION其他OS_A

0熱度

1回答

ie/chrome中的formalize.css按鈕

我正在遇到一些樣式按鈕問題。我使用的是http://formalize.me/和Eric Meyer CSS Reset的formalize.css。這是在IE和Chrome會發生什麼：類的按鈕看起來是這樣的： .paging_button { margin-top:2px; width: 25px !important; } 任何建議，爲什麼描述似乎飄出來的他們在IE和Chro