RAISE规范语言

作品数:8被引量:9H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:顾翔邱建林孙林夫邵浩然蔡琼更多>>
相关机构:南通大学西南交通大学合肥工业大学北京交通大学更多>>
相关期刊:《计算机应用研究》《计算机工程》《计算机应用》《计算机工程与科学》更多>>
相关基金:国家自然科学基金南通市应用研究计划项目江苏省高校自然科学研究项目南通大学自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与科学x
条 记 录,以下是1-1
视图:
排序:
RAISE规范语言及其语义特征
《计算机工程与科学》1993年第4期28-33,89,共7页李舟军 宁洪 刘春林 
本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
关键词:软件开发 规范语言 语义特征 RAISE 
检索报告 对象比较 聚类工具 使用帮助 返回顶部