您的位置： 专家智库 > >

蒋学文

作品数：2 被引量：5H指数：1
供职机构：重庆邮电大学更多>>
发文基金：重庆市自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇地理信息
  • 1篇地理信息系统
  • 1篇动态模型
  • 1篇信息系统
  • 1篇形式化
  • 1篇形式化研究
  • 1篇英文
  • 1篇网络
  • 1篇网络地理信息
  • 1篇网络地理信息...
  • 1篇架构
  • 1篇架构设计
  • 1篇MVC模式
  • 1篇LOTOS
  • 1篇WEBGIS

机构

  • 2篇重庆邮电大学
  • 1篇中国人民解放...

作者

  • 2篇代劲
  • 2篇蒋学文
  • 1篇宋娟
  • 1篇冯正超

传媒

  • 1篇重庆邮电学院...
  • 1篇重庆邮电大学...

年份

  • 1篇2010
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于MVC模式的WebGIS架构设计(英文)被引量：5
2010年
网络地理信息系统(WebGIS)是结合了地理信息系统与网络技术的一种新兴技术。WebGIS的架构设计是其工业化应用的重要研究内容。从软件设计模式角度出发,介绍了WebGIS与相应的软件设计方法,提出了基于MVC(模型视图控制器)模式的WebGIS架构设计。实际应用证明该架构是一种高效的设计方案。
蒋学文代劲宋娟
关键词：网络地理信息系统架构设计
基于LOTOS的动态模型的形式化研究
2006年
面向对象技术和形式化方法结合,在面向对象技术中应用形式化方法是一种有效的实现软件自动化的方法。介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。
蒋学文代劲冯正超
关键词：动态模型形式化LOTOS
全选 清除 导出
共1页<1>
聚类工具0