您的位置： 专家智库 > >

刘晓清

作品数：3 被引量：0H指数：0
供职机构：南昌大学更多>>
发文基金：江西省教育厅科技计划项目江西省自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术社会学经济管理更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇经济管理
  • 1篇社会学

主题

  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇邮件
  • 1篇邮件管理
  • 1篇元件
  • 1篇原子性
  • 1篇商务
  • 1篇自动化
  • 1篇自动化应用
  • 1篇公文
  • 1篇公文管理
  • 1篇办公
  • 1篇办公自动化
  • 1篇办公自动化应...
  • 1篇SPIN
  • 1篇VCL
  • 1篇C++_BU...
  • 1篇C++BUI...
  • 1篇程序设计
  • 1篇NOTES

机构

  • 3篇南昌大学

作者

  • 3篇刘晓清
  • 2篇肖美华
  • 2篇刘海英
  • 1篇王兵
  • 1篇秦澎涛
  • 1篇朱宜炳
  • 1篇雷向东

传媒

  • 2篇南昌大学学报...
  • 1篇计算机与现代...

年份

  • 1篇2007
  • 2篇1999
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
电子商务协议原子性的SPIN分析
2007年
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.
王兵肖美华刘晓清朱宜炳
关键词：电子商务协议SPIN原子性
基于Notes的办公自动化应用
1999年
基于Ｌｏｔｕｓ Ｎｏｔｅｓ 给出了一个典型的办公自动化系统模型，该模型就公文管理、邮件管理。
秦澎涛刘晓清雷向东刘海英
关键词：办公自动化NOTES公文管理邮件管理
C++ Builder元件的构造方法与实现
1999年
描述在Ｃ＋ ＋ Ｂｕｉｌｄｅｒ应用开发中构造元件的方法。
刘晓清肖美华刘海英
关键词：VCL程序设计C++BUILDER
全选 清除 导出
共1页<1>
聚类工具0