模型形式化相关论文
Web应用的出现与盛行已将软件产业悄然带入规模化、复杂化的时代，提高其检测方法的自动化程度是当务之急。因此，我们采用基于模型的......
GIS模型和模型库是实现地理信息系统与应用分析模型集成的关键技术.本文采用面向对象的思想,对支持模型复合的模型形式化方法开展......
