SPECIFICATION

作品数：129被引量：110H指数：5
导出分析报告
相关领域：生物学艺术更多>>
相关作者：顾荣宝张琳娜刘玉芳孔晓峰唐勇更多>>
相关机构：沈阳高精数控技术有限公司武汉华中数控股份有限公司安徽大学沈阳产品质量监督检验院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金河南省科技攻关计划国家重点基础研究发展计划广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Science China Mathematicsx
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SPECIFICATION OF COMMUNICATION SYSTEMS WITH TEMPORAL LOGIC
《Science China Mathematics》1990年第4期486-502,共17页周巢尘 
Project supported by the National Natural Science Foundation of China
A temporal logic for specifying the external behaviours of systems is introduced. Predicates INT, PASS and CLD are the primitives of the logic to record temporal states of a communication channel, i.e. intending to do...
关键词：FORMAL SPECIFICATION distributed PROGRAMMING PROGRAMMING LOGIC TEMPORAL LOGIC COMMUNICATING process. 
GSPEC: A GRAPHICAL SPECIFICATION LANGUAGE FOR SOFTWARE
《Science China Mathematics》1989年第10期1260-1269,共10页戴敏 徐家福 
This paper summarizes the principles and ideas in the design of a graphical specification language, called GSPEC. Based on the requirement analysis of specification languages, a new software decomposition model is pro...
关键词：GSPEC REQUIREMENT ANALYSIS GRAPHICAL SPECIFICATION language. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部