HDL: An Approach to Modeling Inconsistent Information

摘要：

Software evolution research has aroused great attention. The traditional attitude toward the software evolution is that the information of evolution at any stage should be consistent. However, there is a conflict between the assumption and real engineering application. This paper analyzes inconsistency in software evolution from many aspects in detail, the root, the active role and the formal definition. Finally, we propose a formal method, named IIDL, as the tool for inconsistent information modeling and analysis in software evolution process.

关键词： inconsist information software evolution IIDL semantics interpretation

作者: Wang Wei Li Tong

作者单位: Software School, Yunnan University Kunming, Yunnan, China

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 387-390

在线出版日期: 2010-10-22（万方平台首次上网日期，不代表论文的发表时间）