您当前的位置：
首页 >
文章列表页 >
Web应用中UML到Event-B的系统性转换方法
计算机软件与理论 | 更新时间：2025-09-02

    • Web应用中UML到Event-B的系统性转换方法

    • Systematic Transformation Method from UML to Event-B in Web Application

    • “在面向对象软件开发领域，专家提出了UML与Event-B结合的解决方案，针对中型Web应用系统，验证了转换方法的可行性和有效性，提高了系统的可靠性和形式化方法的可理解性。”
    • 软件导刊   2025年24卷第8期 页码：112-120

    • DOI：10.11907/rjdk.251018    

      中图分类号： TP311

    • 收稿日期：2025-01-07，

      纸质出版日期：2025-08-15

    移动端阅览

  • 智玉华,邹盛荣,刘晓莹等.Web应用中UML到Event-B的系统性转换方法[J].软件导刊,2025,24(08):112-120. DOI： 10.11907/rjdk.251018.

    ZHI Yuhua,ZOU Shengrong,LIU Xiaoying,et al.Systematic Transformation Method from UML to Event-B in Web Application[J].Software Guide,2025,24(08):112-120. DOI： 10.11907/rjdk.251018.

  •  
  •  

0

浏览量

0

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

Web应用漏洞扫描检测系统

相关作者

卢志科
康晓凤
眭桢屹
王 昊
刘冀卿
孙冲冲

相关机构

徐州工程学院 信电工程学院
0