[发明专利]基于EPF的JAVA代码生成工具在审
申请号: | 202210323190.5 | 申请日: | 2022-03-30 |
公开(公告)号: | CN114780071A | 公开(公告)日: | 2022-07-22 |
发明(设计)人: | 周宽久;王梓仲;李一聪;徐琳 | 申请(专利权)人: | 大连理工大学 |
主分类号: | G06F8/30 | 分类号: | G06F8/30;G06F8/35 |
代理公司: | 辽宁鸿文知识产权代理有限公司 21102 | 代理人: | 隋秀文 |
地址: | 116024 辽*** | 国省代码: | 辽宁;21 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明属于软件开发领域,公开了一种基于EPF的JAVA代码生成工具。该JAVA代码生成工具基于事件处理表格、支持并发建模、支持生成并发代码的JAVA代码生成工具,其中包含一种形式化建模工具EPF及一种用于自动生成JAVA代码的算法;本发明在保留软件形式化语义的同时,提供了简洁易懂的建模工具;支持并发建模并生成多线程JAVA代码;可以显式地表示出软件设计缺陷;可以方便地进行形式化验证;包含了多种逻辑判断单元以适应复杂的设计需求;自动生成代码可以提高代码质量、减少工作人员的工作量;模型与代码解耦,降低了软件迭代的成本。 | ||
搜索关键词: | 基于 epf java 代码 生成 工具 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于大连理工大学,未经大连理工大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202210323190.5/,转载请声明来源钻瓜专利网。
- 上一篇:一种软件研发全流程效能度量方法和系统
- 下一篇:微悬臂梁光纤加速度传感器机构