现代烟草农业地理信息系统需求形式化描述研究

• 作者: 宋文峰 蒋样明 邵小东 黄坤
• 来源期刊: 中国烟草科学
• 关键词: 烟草地理信息 GIS 需求工程 形式化描述 Alloy
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 信息技术
• 页码范围: 88-92
• 页数: 5页
• 分类号: S572
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5119.2013.04.019

摘要

现代烟草农业建设离不开地理信息技术支持，而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求，提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例，将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架，涉及需求分解、问题子框架组合等系列工程问题，对烟草地理信息需求形式化定义与描述具有典型示范效益。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋样明	中国科学院遥感应用研究所	11	51	5.0	6.0