OBJECT-Z相关论文
在我们设计PACS时,采用了基于设计模式的设计方法.使用成熟的模式,方便了工程人员间的交流,提高了通用性,为可能的复用打好基础.在......
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产......
近年来，为了保证各种软件的正确性和提高软件的可维护性、可重用性，人们对软件形式方法的研究越来越广泛和深入，形式方法的研究之所以......
本论文首先分析了远程教育的发展现状,指出现行远程教育在资源共享(消除信息孤岛)、分布式、异构性等方面的不足,从而提出了建立学......
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。......
形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述．以铁路交叉道口系统的应用证明了这一点。......
定理证明是一种形式化验证技术，也是形式化方法的重要组成部分，它能从形式规格说明中推理出应具备的性质与属性，从而可以对规格说明进......
定理证明是一种形式化验证技术，也是形式化方法的重要组成部分，它能从形式规格说明中推理出应具备的性质与属性，从而可以对规格说明进......
文中对程序切片进行了研究，报告了程序切片的现状，进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证，对Object-Z作切片处理......
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言......
UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言......
本文描述了XPath语言的形式化语义.一个统一的面向对象的语义视角用于建模所有XPath语言构造.语义的表示采用形式化规范语言Object......
面向对象形式规格说明语言Obiect-Z与进程代数CSP相结合是当今的一个热点，它既可以表示复杂的模块化数据与算法，又可以表示系统的行......
Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它......
Object-Z是形式规格说明语言Z的面向对象扩充，基于严格的集合论与数理逻辑，具有面向对象的特点：类、对象、继承、封装与多态等。用它......
重用设计在改善软件开发过程中的作用越来越受到人们的重视。面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面。......
重用设计在改善软件开发过程中的作用越来越受到人们的重视。面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面。......
软件开发早期阶段软件资源的重用进展缓慢。反射机制在代码重用方面取得了成功，但还没有用于软件体系结构及其组成元素的重用。提出......
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问......
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确......
形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确......
用一般的方法开发设计一些关键性的系统时不可避免的会出现一些错误, 而这些错误会随着开发过程一直存在并最终会对系统造成很严重......
针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式......
针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式......
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是......
介绍了软件体系结构的研究现状，研究了其团体特征，设计出了一个具有相互学习能力、相互协调和合作的由Agent构件组成的团队．用形式化......
实时系统是一类需要考虑时间约束条件的反应系统，确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的......
实时系统是一类需要考虑时间约束条件的反应系统，确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的......
形式化方法让软件需求的规格说明变得更加简洁精确,但是它的抽象难懂让用户难以确定形式规格说明中所叙述的用户需求就是他们所期......
软件需求分析是软件开发过程中的首要工作,其分析结果是否准确可靠,将直接影响软件产品的质量,甚至决定了项目的成败。而其中的需......
随着图形用户界面的普及,交互已成为目前软件系统的一个重要特征.与传统的基于字符界面的软件系统相比,基于图形用户界面的软件系......
针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题，使用统一过程建立用UML描述的需求模型并对其进行形......
针对软件需求描述中用UML描述的模型与形式需求说明相比不利于推理和验证的问题，使用统一过程建立用UML描述的需求模型并对其进行形......
Unified Modeling Language(UML,统一建模语言)是一种基于面向对象建模方法组合的建模语言。它以支持面向对象、可视化建模和强大......
形式化方法是软件开发方法合理的发展方向，软件开发自动化的发展影响着形式化方法的应用前途；而软件开发自动化的程度又相当依赖于求......
随着信息技术的发展，软件规模和复杂程度的日益增大，如何保证和提高软件质量成为软件界最为关心的问题之一。保证各种软件的正确性和......
Web组件技术是一种解决Web服务再利用和扩展问题的方法。Object-Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规......
Object-Z是一种用于表示面向对象系统规约的高层抽象语言，由于缺乏自动验证工具的支持，很难建立直接证明由Object-Z表示的面向对象系......
在本文中,我们将提出一种从OZ到Python的映射去验证这些规范。在这个映射中,包括前置条件、后置条件和变量都将被验证,这些都是建......
软件测试保证和提高了软件质量，因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明申的前置......
设计样本是近年来出现的支持软件开发和设计重用的新技术。目前，关于设计样本的研究主要集中于发现新的设计样本和一些设计样本的应......
随着计算机硬件性能迅速提高和价格的持续下降，计算机系统应用范围不断地扩大，软件系统也日益复杂，研究如何提高软件质量和软件开发效......
