搜索到76篇“ 规格说明语言“的相关文章
- DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述被引量：2
- 2014年
- Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。
- 马莉钟勇霍颖瑜
- 关键词：形式化描述语言OBJECT-Z
- 软件形式规格说明语言-Z
- 本书详细介绍了软件形成化方法与软件规格说明语言—Z的相关知识和设计方法，适合作为高校软件工程学科的教材使用。
- 缪淮扣编著
- 关键词：软件工程
- 2004年上海大学博士学位论文 33 SOZRSL软件需求规格说明语言及其求精
- 博士论文编辑部编
- 面向方面分布式系统形式化规格说明语言被引量：2
- 2007年
- 分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。
- 陈广明张立臣陈生庆
- 关键词：分布式系统形式化方法
- SOZRSL软件需求规格说明语言及其求精
- 结构化方法、面向对象方法和形式方法是目前软件开发中使用的三种主要方法.本文在分析了上述三种方法的基础上,取各家之长,互相结合,提出一个基于结构化方法、面向对象方法和形式方法相结合的新的软件开发方法,称之为结构化面向对象的...
- 高晓雷
- 关键词：SOFMOBJECT-ZPO遗传算法
- 基于逻辑系统的用户需求功能规格说明语言及其应用
- 2002年
- 在基于谓词逻辑对知识的表示的基础上 ,用Unity逻辑系统对其加以扩充 ,形成一个小型的用户需求功能规格说明语言 (SmallproblemSpecificationLanguage) 。
- 张忠玉
- 关键词：知识表示逻辑系统形式化语言电梯控制系统
- 形式规格说明语言z的研究与应用
- z语言是目前颇受欢迎且使用广泛的一种形式规格说明语言,它是由著名计算机科学家hoare所在的牛津大学程序研究组的学者在80年代初设计开发的.到目前为止,英国、美国、以及欧洲的一些国家对z语言进行了深入的研究,取得了丰硕的...
- 王艳伟
- 关键词：Z语言模式语言俄罗斯方块游戏
- 形式化规格说明语言B的分析与比较
- 相对于LARCH、OBJ等代数方法之外,B、Z、VDM都是基于模型的形式化规格说明方法.B方法用一种简单的伪程序语言来描述需求模型,并进行软件设计和实现,这个语言就是AMN(抽象机器符号),AMN支持规格说明的类型检测、...
- 邹盛荣
- 关键词：B方法程序语言软件设计
- 规格说明语言Z的类型检查被引量：1
- 2000年
- 软件规格说明的正确性是软件目标代码正确性的前提。正确性要求之一就是类型正确。本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
- 张晓莺朱关铭缪淮扣
- 关键词：规格说明语言Z语言
- 信息技术 处理语言 文件式样的语义及规格说明语言(DSSSL)
- 本标准是为规定对有效的SGML文件所做的处理而制定的。 DSSSL为两种文件过程规格说明语言定义了语义、语法和处理模型： a)变换语言。用于将基于一个或多个DTD置标的SGML文件变换为根据其他DTD置标的SGML文...
- 关键词：程序设计语言数据处理
相关作者
- 徐永森
- 作品数：37被引量：75H指数：6
- 供职机构：南京大学计算机科学与技术系
- 研究主题：软件开发 面向对象 规格说明语言 软件工程 网络管理
- 姜馨杰
- 作品数：3被引量：1H指数：1
- 供职机构：南京大学
- 研究主题：规格说明语言 程序设计 形式语义 形式语言 计算机科学
- 童頫
- 作品数：37被引量：92H指数：5
- 供职机构：上海大学计算机工程与科学学院
- 研究主题：人工智能 计算机 面向对象 软件开发 布线算法
- 廖湖声
- 作品数：147被引量：263H指数：8
- 供职机构：北京工业大学
- 研究主题：XML XQUERY XQUERY语言 部分求值 模式查询
- 缪淮扣
- 作品数：154被引量：505H指数：11
- 供职机构：上海大学计算机工程与科学学院
- 研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
