1) theory of revised norm
修正规范说
2) Norming
规范正规
3) specification
[英][,spesɪfɪ'keɪʃn] [美]['spɛsəfə'keʃən]
规范说明
1.
The specification phase is of great importance to the whole process of the software development, which is always considered as part of the requirement system.
软件的规范说明阶段(specification phase)对于软件整体开发过程来说是一个非常重要的阶段，它可以被认为是需求分析的一部分。
2.
B method is one of the most popular formal methods at present,which supports the whole lifecycle of software development process,from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一,它支持从规范说明到代码生成的整个软件开发周期。
3.
With precise mathematical semantics,formal methods support accurate specification and rigor verification for software systems.
B形式化方法支持从规范说明到代码生成的整个软件开发周期。
4) criterion theory
规范说
1.
Through the research on the division standard of active conduct and negative conduct,prohibition criterion and command criterion,the paper thought that criterion theory is right.
刑法中"持有"行为的性质归属是刑法理论争论的焦点问题,通过对作为与不作为的划分标准以及禁止规范与命令规范性质的探讨,认为在规范说的立场上看,第三行为的学说与认识没有存在的余地,"持有"只有在作为与不作为的行为划分中寻找其归属。
5) Theory of Law Rule
法规范说
6) code,definition
界说规范
补充资料：不可说不可说
【不可说不可说】
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
谓从不可说、不可说为一不可说转，不可说转、不可说转为一不可说不可说也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条