您的位置: 专家智库 > >

沈勤祖

作品数:7 被引量:13H指数:3
供职机构:云南大学信息学院计算机科学系更多>>
发文基金:云南省应用基础研究基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 7篇中文期刊文章

领域

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

主题

  • 2篇多线程
  • 2篇数据库
  • 2篇线程
  • 2篇面向对象
  • 1篇断言
  • 1篇形式化
  • 1篇形式化研究
  • 1篇虚拟机
  • 1篇应用系统
  • 1篇支撑环境
  • 1篇支持网络
  • 1篇软件开发
  • 1篇数据库管理
  • 1篇数据库管理系...
  • 1篇网络
  • 1篇库管理
  • 1篇规格说明语言
  • 1篇分布式
  • 1篇分布式应用
  • 1篇分布式应用系...

机构

  • 7篇云南大学
  • 1篇楚雄师范学院

作者

  • 7篇沈勤祖
  • 4篇李彤
  • 2篇郑仕辉
  • 1篇孔兵
  • 1篇徐庆生
  • 1篇柳青

传媒

  • 7篇云南大学学报...

年份

  • 1篇2003
  • 6篇1997
7 条 记 录,以下是 1-7
排序方式:
分布式应用系统结构设计的形式化研究被引量:3
2003年
首先给出并讨论了一般分布式应用系统的层次化结构,并给出了其形式化描述.然后讨论了分布式应用系统层次化结构的性质,从而给出由软件模块化结构出发设计分布式应用系统结构的原理和方法.
徐庆生沈勤祖
关键词:分布式应用系统层次化结构
Java虚拟机多线程之研究被引量:2
1997年
介绍多线程的有关概念及Java语言级的多线程机制。
沈勤祖郑仕辉郭亮
关键词:线程JAVA虚拟机多线程
基于C/S结构的WWW与数据库的集成被引量:3
1997年
对基于C/S结构的WWW与数据库的集成问题作了初步探讨。
沈勤祖郑仕辉郭亮
关键词:C/S结构WWW数据库
基于前后断言的多线程形式功能规格说明语言被引量:2
1997年
探索用基于公理语义的前后断言方法来刻划多线程程序的功能,设计了一个功能规格说明语言JAVASPEC,用来形式地表达程序的功能规格说明。
李彤沈勤祖王庆革
关键词:JAVA语言断言线程多线程
Internet环境下SQL语言面向对象的扩充被引量:2
1997年
在Internet环境下扩充SQL语言,使其具有面向对象的功能,从而设计了OO-SQL语言.文中介绍了OOSQL的基本思想,软件结构,工作流程,类和对象的定义方式。
李彤沈勤祖杨杨马梦涛
关键词:面向对象INTERNETSQL语言
支持网络软件开发的并行进化模型被引量:3
1997年
软件开发过程的分布并行化是缩短软件开发周期和降低开发成本的有效途径.文中进化式原型方法引入到软件的并行开发过程中,提出并行进化式软件开发模型CESD及相应的管理与控制机制,并将并行成分及并行控制成分统一到面向对象的机制下。
李彤沈勤祖孔兵
关键词:面向对象软件开发
MIS系统支撑环境分析
1997年
根据MIS系统建设的需要,分析了MIS系统支撑环境的构成成分和配置要求。
沈勤祖李彤柳青
关键词:MIS系统操作系统数据库管理系统支撑环境
共1页<1>
聚类工具0