分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实......

高可信系统的软件规模不断扩大，其关键是分析并定义一致的可信需求描述，直接影响到需求规格说明的质量，进而影响到最终软件产品的质量......