构件表示相关论文
随着软件规模和复杂度不断增大,传统的软件开发模式面临巨大的挑战,出现了新一轮的“软件危机”,而软件复用是解决这个问题的有效方法......
软件复用有利于提高软件开发的生产率和软件系统的可靠性,降低软件开发的成本,使软件开发实现工程化和产业化.软件构件是其核心技......
软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基......