Department of Computer Science, Faculty Science Technology, Universiti Malaysia Terengganu (UMT), 21030 Kuala Terengganu, Terengganu, Malaysia;
Formal Specification; SIDIF Model; Software Requirements; Z Specification Language;
机译:将人口分布的空间同步/异步整合到种群评估模型中:一种空间分层的贝叶斯统计捕获年龄方法
机译:一种集成了繁殖鸟类调查和森林清单与分析数据库以评估多个空间尺度上森林鸟类与栖息地之间关系的方法。
机译:面板数据模型的矩阵指数空间指定方法
机译:使用正式规范方法设计多种类型的空间和非空间数据库集成模型
机译:用于模糊空间数据的数据模型的设计,实现和数据库集成,是下一代空间数据库和地理信息系统的基础。
机译:数据集成以推断空间过程:一种基于模型的方法来测试和解决数据不一致问题
机译:空间信息数据库集成框架(SIDIF)的正式规范