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