福建省教育厅资助项目(2007F5037)
- 作品数:1 被引量:0H指数:0
- 相关作者:赖会霞张仕黄林鹏更多>>
- 相关机构:福建师范大学上海交通大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划福建省教育厅资助项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 类动态更新事务研究
- 2008年
- 针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。
- 张仕赖会霞黄林鹏
- 关键词:程序设计