云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=可重用形式化模型 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于Event-B的软件工程形式化方法综述被引量：2: 《计算机系统应用》2021年第9期12-23,共12页彭寒张晓丽刘洲洲曹国震景月娟王瑾李添锐; 陕西省重点研发计划(2018GY-028,2020GY-084);陕西省自然科学基金(2020JM-633);陕西省教育厅科研计划(20JG014)。; 在当今泛在计算和软件定义的大趋势下,形式化方法逐步成为指导软件需求定义、分析软件设计方案、验证软件制品正确性的重要方法,渗透到软件工程的全寿命周期. Event-B作为一种"构造即正确"的方法,为软件工程形式化方法的应用提供了支撑...; 关键词：软件工程形式化方法面向对象可重用形式化模型

全选清除导出

共1页<1>