规格说明语言

作品数：19被引量：14H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐永森姜馨杰童頫朱关铭高晓雷更多>>
相关机构：南京大学上海大学汕头大学南京师范大学更多>>
相关期刊：《计算机学报》《高技术通讯》《西安电子科技大学学报》《曲靖师范学院学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划上海市高等学校科学技术发展基金云南省应用基础研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
用Z语言描述排课问题的形式化模型
《西安工业大学学报》2008年第4期375-382,共8页喻钧 容晓峰 曹子建 
西安工业大学校长基金(XAGDXJJ0620)
为了使目标软件系统具有较高的可靠性和正确性、并易于维护,在系统的需求规格说明中引入了形式化方法.使用面向对象的形式规格说明语言Z,以一个复杂的NP完全问题——排课问题为例,描述了构建一个排课系统的形式化模型的过程,并用Java实...
关键词：形式化方法 规格说明语言Z 排课问题 形式化模型 
基于逻辑系统的用户需求功能规格说明语言及其应用
《曲靖师范学院学报》2002年第3期83-85,共3页张忠玉 
在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。
关键词：知识表示 逻辑系统 用户需求功能规格说明 形式化语言 用户需求设计 电梯控制系统 
规格说明语言Z的类型检查被引量：1
《计算机应用与软件》2000年第2期1-9,29,共10页张晓莺 朱关铭 缪淮扣 
国家863高科技计划;上海市高校科技发展资金资助(编号:69773038)
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
关键词：类型检查 规格说明语言 Z语言 形式谱义 
关于Z规格说明语言中模式的剖析
《计算机科学》1998年第6期24-27,共4页高晓雷 缪淮扣 
国家自然科学基金(编号:69773038);上海市教委科技发展基金(编号:97A42)
1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目...
关键词：规格说明语言 形式语言 Z语言 模式 
形式方法与面向对象方法的结合探讨被引量：4
《计算机工程》1998年第1期13-16,69,共5页李刚 朱关铭 童頫 
国家863高技术计划资助!863-306-05-09-16;上海市高校科技发展基金!97A42
文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。
关键词：规格说明语言 形式方法 面向对象 软件开发 
基于前后断言的多线程形式功能规格说明语言被引量：2
《云南大学学报（自然科学版）》1997年第6期544-549,共6页李彤 沈勤祖 王庆革 
云南省应用基础研究基金;云南大学青年基金
探索用基于公理语义的前后断言方法来刻划多线程程序的功能，设计了一个功能规格说明语言ＪＡＶＡＳＰＥＣ，用来形式地表达程序的功能规格说明。
关键词：JAVA语言 断言 线程 规格说明 多线程 
自动制造系统规格说明语言的Petri网语义设计被引量：1
《西安电子科技大学学报》1996年第3期406-413,共8页李志武 贾建援 叶尚辉 
国家自然科学基金
研究了自动制造系统中离散事件的形式化表示方法．依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统行为描述语言的Ｐｅｔｒｉ网语义，即系统Ｐｅｔｒｉ网控制器的静态结构．根据系统...
关键词：自动制造系统 规格说明语言 PETRI网 CIM 
文件类型语义和规格说明语言DSSSL
《电子出版》1995年第8期6-11,共6页徐福培 吕纪南 
文件类型语义和规格说明语言ＤＳＳＳＬ南京大学徐福培，吕纪南１．背景传统排版系统是通过自己专有的系统排版语言（如华光或ＢＤ语言），对需排版内容进行过程性置标，然后通过系统对这些过程性置标进行处理，从而产生页面输出。随着...
关键词：文件类型语义 规格说明语言 DSSSL 
Z语言模式正确性的检验被引量：2
《计算机工程》1995年第5期3-9,共7页陈晶 朱关铭 童頫 
国家863计划资助;上海市高校科技发展基金
软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方而对Ｚ语言规格说明加以检验，使能尽早发现错误、提高软件正确性、降低开发开销。
关键词：Z语言 规格说明语言 检验 正确性 
规格说明语言ChiSL
《高技术通讯》1995年第2期7-12,共6页许创 陈沐天 徐永森 
国家自然科学基金
ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行...
关键词：软件工程 规格说明语言 程序设计 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部