模板重用相关论文
本文从软件重用的方法──模板重用的角度出发,讨论了一个实用的应用生成器──通用报表打印应用生成器的设计,并详细给出了它的实现......
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化......