论文部分内容阅读
基于Frame的软件开发和逐步精化是用于实现系统化软件开发（例如软件产品线）的两种范型．然而这两种方法基于不同的假设而独立发展，它们之间的联系还未得到完全认识．为了弥补这一缺失，使得能够在一个统一的软件开发过程中发挥这两者的优势，探讨了它们之间的联系、融合的必要性以及在融和过程中出现的有趣的问题，像可换合成策略和不同范型指令的融合等．为了支持这一观点，在frames的设计中集成了逐步精化技术，并设计开发了Frame＋＋．它构建在XVCL之上，利用AHEAD（XAK）来支持frames精化．在frames中