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

您当前的位置：

首页 >

文章列表页 >

Computer Software and Theory | 更新时间：2025-09-02

- Systematic Transformation Method from UML to Event-B in Web Application
- “In the field of object-oriented software development, experts have proposed a solution that combines UML and Event-B to verify the feasibility and effectiveness of transformation methods for medium-sized web application systems, improving the reliability of the system and the comprehensibility of formal methods.”
- Software Guide Vol. 24, Issue 8, Pages: 112-120(2025)
- 作者机构：
  
  扬州大学信息工程学院，江苏扬州 225009
- 作者简介：
- 基金信息：
- DOI：10.11907/rjdk.251018
  CLC： TP311
- Received：07 January 2025，
  
  Published：15 August 2025
- 稿件说明：
移动端阅览
智玉华,邹盛荣,刘晓莹等.Web应用中UML到Event-B的系统性转换方法[J].软件导刊,2025,24(08):112-120.

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.
智玉华,邹盛荣,刘晓莹等.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.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Web Application Vulnerability Scanning Detection System

Related Author

LU Zhi-ke

KANG Xiao-feng

SUI Zhen-yi

WANG Hao

LIU Ji-qing

SUN Chong-chong

Related Institution

Xuzhou Institute of Technology

⁰