形式化工程方法，是以软件形式化方法理论为基础，以系统化的工程方法引导工业
2023-03-24 11:01
形式化方法有助于从根本上提高软件系统的质量与可靠性，但其开发成本往往过于高昂．一种折衷的办法是在软件系统中选取关键性部件进行形式化开发，但目前尚无非常有效的定量选择方法
2018-01-15 15:47
系列简介：形式化方法在计算机和软件工程学科中作为一个学科分支，正在越来越多地进入工业界诸多实践领域。以DO-333适航标准为代表的工业标准，亦对软件开发过程明确提出了采用形式化
2022-06-10 10:49
本文回顾和讨论了形式化方法和测试技术，以及形式规格说明可以用于测试用例生成、测试顺序确定的途径；并提出了将形式化方法和测
2009-06-11 10:49
形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。
2023-01-30 16:42
文将聚焦于轨交领域，从领域专用的需求撰写与分析工具Prema入手，介绍形式化方法在工业中的实际应用。
2023-08-08 15:20
本文主要探讨了形式化方法在航空领域中的工业应用。航空领域作为安全攸关领域，其机载系统软件的开发有着高度复杂和严格的安全标准要求，以确保其安全可靠性。
2023-08-21 15:45
一种服务网络拓扑结构的形式化描述方法_陈鹏
2017-03-14 17:10
计算和建模分析的传统方法，如数值计算方法和符号方法等，都存在计算不精确或者不完备等问题，高阶逻辑定理证明是验证系统正确的一种严密的形式化
2018-01-16 18:09
针对Web服务的组合与验证问题，在范畴理论描述框架的基础上，引入进程代数描述服务组件的外部行为，为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点，服务间的交互
2018-01-09 15:14
