徐华珍
- 作品数：4 被引量：8H指数：2
- 供职机构：江西师范大学计算机信息工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 泛型机制在Apla-Java程序生成系统中实现的方法研究
- 众所周知，软件危机的主要特征是软件开发难度大，生产效率低，其正确性和可靠性得不到保证，而高级程序设计语言中的泛型语言机制和泛型程序设计,也称为参数化程序设计,是提高软件可靠性及其生产效率的有效途径。因此现代高级程序设计语...
- 徐华珍
- 关键词：自动生成系统自动转换
- 文献传递
- Transaction在PAR平台中的实现方法及应用研究
- 随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要.虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基...
- 朱小征薛锦云徐华珍
- 关键词：软件开发平台建模语言模型驱动架构
- 文献传递
- Transaction在PAR平台中的实现方法及应用研究被引量：4
- 2015年
- 随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,并使用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,通过PAR平台的模型自动转换工具生成了Java和SQL程序。实验证明融入了事务处理机制的PAR方法和PAR平台具有建模简单、实用,软件开发效率高,便于形式化推导和证明等特点。
- 朱小征薛锦云徐华珍
- 关键词：事务处理异常处理PAR平台
- Apla→Java程序生成系统中泛型机制实现方法研究被引量：4
- 2017年
- 在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性.
- 徐华珍薛锦云朱小征
