理论与形式化方法 Theory and formal methods
通用仿真形式化方法 GPSF
形式化方法与验证 Formal Methods and Verification
软件工程与形式化方法 Software Engineering and Formal Methods
集成形式化方法 Integrated Formal Methods
软件工程的形式化方法 Formal Methods in Software Engineering
形式化方法和工具 Formal Methods and Tools
形式化方法B Formal method
·2,447,543篇论文数据，部分数据来源于NoteExpress
一种详细描述测试套件和测试脚本的形式化方法。
A formalized approach to elaborate the test suites and test scripts.
更详细地介绍活动如何执行，由哪些角色执行的形式化方法是使用业务用例及其实现。
The formalism to describe in more detail how an activity is performed, and by which actors, is to use Business use Cases and their realizations.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。例如,把全称肯定命题,用符号形式化为“SAP”;把联言命题、假言命题分别形式化为:“p∧q、“p→q”。又例如:一个具体的假言联言推理“如果这种金属是纯铝,那么它的物理性质必与纯铝相同;如果这种金属是纯铝,那么它的化学性质必与纯铝相同;但这种金属的物理性质和化学性质与纯铝不相同;所以,它不是纯铝。”这个推理的形式结构是:“如果p,则q;如果p,则r;非q且非r;所以非p。”可进而形式化为下列公式:((p→q)∧(p→r)∧┐q∧┐r→┐p。
应用推荐