规范匹配相关论文
主要阐述了一种组件的形式规范匹配方法,以Larch家族中的Larch/C作为语言工具,详细讨论了组件的功能匹配,最后借助于工具LarchProv......
设计模式是设计级的软件重用.由于缺乏比较成熟的设计模式规范描述和规范匹配方法,设计模式的获取和使用基本上是手工方式,依赖于......
