1) programming specification
程序规范说明
2) program specification
程序规范说明书
3) specification subprogram
规范说明子程序
4) package specification
程序包规格说明
5) program specification
程序规格说明
6) 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形式化方法支持从规范说明到代码生成的整个软件开发周期。
补充资料：制度规范制定程序
制度的形成和制定过程，一般有以下四个基本步骤：
第一步：提出。由有关部门和人员根据管理工作的需要，提出制度制定要求。经上级有关部门和人员同意后，进行充分的调查研究,提出制度草案。
第二步：讨论和审查。制度草案提出后，要广泛征求相关各方的看法和意见，集思广益，充分讨论、研究的基础上，改正其中不切合实际之处，弥补疏漏，调整与其他制度矛盾、重复之处，使制度草案进一步完善化。修改后的制度草案、要报请上级管理部门审批。
第三步：试行。制度草案经上级管理部门审批后，可以试行。试行的目的是在实践中进一步检验和完善，使之成熟化、合理化。对于新制定的制度规范，试行是必不可少的一个阶段。
第四步：正式执行。制度经过一段时间试行、完善后，即可稳定下来，形成正式的、具有法律效果的制度文本，按照确定的范围和时间正式执行。与此同时，要向相关方面说明情况，报送上级管理机关备案。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条