中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
现代烟草农业地理信息系统需求形式化描述研究

文献类型:期刊论文

作者邵小东 ; 蒋样明 ; 宋文峰 ; 黄坤
刊名中国烟草科学
出版日期2013
期号4页码:88-92
关键词烟草地理信息 GIS 需求工程 形式化描述 Alloy
中文摘要现代烟草农业建设离不开地理信息技术支持,而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求,提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例,将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架,涉及需求分解、问题子框架组合等系列工程问题,对烟草地理信息需求形式化定义与描述具有典型示范效益。
收录类别CNKI
语种中文
公开日期2015-01-05
源URL[http://ir.ceode.ac.cn/handle/183411/35609]  
专题遥感与数字地球研究所_中文期刊论文_期刊论文
推荐引用方式
GB/T 7714
邵小东,蒋样明,宋文峰,等. 现代烟草农业地理信息系统需求形式化描述研究[J]. 中国烟草科学,2013(4):88-92.
APA 邵小东,蒋样明,宋文峰,&黄坤.(2013).现代烟草农业地理信息系统需求形式化描述研究.中国烟草科学(4),88-92.
MLA 邵小东,et al."现代烟草农业地理信息系统需求形式化描述研究".中国烟草科学 .4(2013):88-92.

入库方式: OAI收割

来源:遥感与数字地球研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。