半形式化相关论文
随着城市信息化建设的不断推进,安全苛求系统的应用领域也越来越广泛,如航空航天、医疗、轨道交通等领域。在这些领域,安全苛求系......
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用......
车载ATP软件采用半形式化语言对需求进行描述,具有定义精确、二义性少的优点,但同时带来需求粒度变细、需求数目激增等问题,使软件......
形式化、半形式化规范的理论和实践是高安全等级操作系统设计所必须解决的问题,但我国高安全等级操作系统形式化设计方面十分薄弱,......
在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形......
对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而......
