您的位置： 专家智库 > >

许创

作品数：1 被引量：0H指数：0
供职机构：汕头大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件工程
  • 1篇规格说明语言
  • 1篇程序设计

机构

  • 1篇汕头大学

作者

  • 1篇徐永森
  • 1篇许创
  • 1篇陈沐天

传媒

  • 1篇高技术通讯

年份

  • 1篇1995
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
规格说明语言ChiSL
1995年
ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。
许创陈沐天徐永森
关键词：软件工程规格说明语言程序设计
全选 清除 导出
共1页<1>
聚类工具0