（1）形式化规范 形式化方法的一个重要研究内容是形式化规范（Formal Specification），它是用具有精确语义的形式语言书写的程序功能描述，是设计和编制程序的出发点，也是验证程序是否正确的依据【111。
基于24个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
架构师应该能够自如地为相关的需求和满足这些需求而提出的体系结构创建不同程度的形式化规范。
An architect should be comfortable with creating more or less formal specifications of the requirements and the proposed architecture that meets them.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
应用推荐