现代烟草农业地理信息系统需求形式化描述研究
文献类型:期刊论文
作者 | 邵小东 ; 蒋样明 ; 宋文峰 ; 黄坤 |
刊名 | 中国烟草科学
![]() |
出版日期 | 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
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。