基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在大型地理信息系统开发中,需求因实际情况的复杂多变而难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等问题,特提出面向问题的GIS需求形式化描述与验证方法。文章以南方某地区现代烟草农业基础设施规划子模块需求描述与验证为例,运用非形式化与形式化描述方法将现代烟草农业对地理信息系统的真实需求归纳到预定义GIS子问题框架,对大型GIS需求形式化定义与描述具有典型示范作用。
推荐文章
顺序图的形式化方法描述
形式化方法
B方法
统一建模语言
顺序图
软件需求获取形式化的案例研究
需求获取
UML
用例驱动
B方法
形式化需求
面向移动云服务系统的形式化语义描述方法
移动云服务
agent
形式化描述
语义验证
范畴理论
网络攻击过程的形式化描述方法研究
计算机网络
有限状态自动机
网络攻击
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 面向问题的GIS需求非形式化与形式化描述研究
来源期刊 测绘与空间地理信息 学科 地球科学
关键词 面向问题 需求工程 非形式化、形式化描述 GIS Alloy
年,卷(期) 2012,(1) 所属期刊栏目 博士园地
研究方向 页码范围 6-9
页数 分类号 P208
字数 2660字 语种 中文
DOI 10.3969/j.issn.1672-5867.2012.01.002
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郭继发 14 74 4.0 8.0
2 蒋样明 中科院遥感应用研究所 1 2 1.0 1.0
3 王云飞 中科院遥感应用研究所 1 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (4)
参考文献  (2)
节点文献
引证文献  (2)
同被引文献  (22)
二级引证文献  (7)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(3)
  • 引证文献(1)
  • 二级引证文献(2)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(2)
  • 引证文献(0)
  • 二级引证文献(2)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
面向问题
需求工程
非形式化、形式化描述
GIS
Alloy
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
测绘与空间地理信息
月刊
1672-5867
23-1520/P
大16开
哈尔滨市南岗区测绘路32号
14-5
1978
chi
出版文献量(篇)
11361
总下载数(次)
46
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导