搜索资源列表
suanfuyiuxian
- 算符优先 根据形式化算法，编制程序实现一个算符优先分析器，能对常见的算术表达式语句进行分析。 要求实现以下功能： 1) 组织算术表达式的输入； 2) 组织算符优先关系表或者优先函数的输入； 3) 若输入的符号串是一个算术表达式语句，则输出一个分析树骨架（既每一步规约用到的最左素短语），否则输出一个错误信息。 -operator priorities under formal algorithm, the development process of achieving a
WebjetChecker
- 这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具
198(75)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(69)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(66)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(59)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(55)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(53)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(70)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(67)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(65)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(63)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(54)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w
198(52)
- 一个命题，是表达了对象之间关系的概念结构。命题必须符合以下规则：它必须是抽象的；它必须与一个真值关联；它必须符合一定的形式化规则。按照命题理论，-A proposition is to express the concept of the relationship between the object structure. Proposition must meet the following rules: it must be abstract it must be associated w