Z语言相关论文
该文全面论述了移动Agent技术的发展、概念、理论和应用.然后,通过与传统技术的比较分析,对移动Agent技术进行了评价.提出了一个新......
统一建模语言UML已经成为面向对象建模语言的标准，正在得到越来越广泛的应用。形式化软件方法能产生严密、精确的规格说明，为软件开......
第一章介绍了计算机安全、网络安全、入侵检测的一些基本概念及相关术语.第二章首先介绍了入侵检测的分类并详细介绍了各种异常入......
软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,面向对象技术的广泛应用和CASE工具的发展,已经大大减轻了......
随着对入侵检测技术的深入研究和入侵检测产品的广泛应用，入侵检测系统进行测试和评估的需求也越来越迫切。对入侵检测系统进行测试......
软件测试是软件生命周期中一个重要环节,直接关系到软件的质量高低,充分的测试是项目成功的重要保障,测试用例的产生是软件测试的......
随着互联网技术的不断发展和网络用户的爆炸式增长,用户需求和网络应用趋于多元化。一些大型和复杂系统的应用使得现有的数据传输......
近年来,计算机技术、网络技术、图像处理技术的发展,深刻的影响着教育考试领域的方方面面。现在教育界正发生着翻天覆地的变化,同......
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型，也称为构建模式。形式......
构件交互自动机（Component-Interaction Automata，Co-IA）是扩展了构件之间交互描述的自动机。体系结构分析设计语言（Architecture Anal......
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括：A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通......
文章根据ERP系统的特点,提出在系统设计阶段,采用形式化标记语言--Z语言对系统框架进行精确描述,以期提高系统构建的可靠性,降低开......
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功......
随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的......
构件式系统是一种采用构件组合技术实现的结构系统，即在采用单个构件封装简单的业务功能基础上，通过集成多个构件逐步构造新的组合构......
1 引言传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布......
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例......
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定......
ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础，然而它所建立的只是开发工具必须遵守和使用记号，而没有说明如何......
随着智能交通系统(ITS)的飞速发展，交通功能的不断增加，与ITS配套的信息系统日趋庞大复杂。传统的软件工程设计思想，不能满足日益增长......
Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并......
面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵......
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同......
软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事......
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此......
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移......
以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结......
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写......
在实际应用"基于角色的访问控制"(RBAC)模型时,经常遇到由于责任分离等策略而引起的冲突问题,如权限间的互斥等.访问控制操作应满......
在入侵检测系统的开发过程中应用形式化的规格说明方法,可保证所开发的系统能够满足系统的安全需求,增强用户对所实现系统的信任。......
电信系统的复杂性致使其故障较难检测，形式化规格语言Z对检测电信系统的故障具备较好的优势。在结合之前研究成果的基础上，对Z语言检......
为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中，并用典型的形式化规格语言Z开发电信系统中基本功能的形式化......
分析了目前答疑系统存在的不足之一，即缺少标准框架，从而很难实现答疑系统之间资源的共享。因此提出了使用形式化方法来构建统一的答......
计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求.形式化其安全需求是一件十分......
以网络入侵检测系统(NIDS)的数据源为基础,结合协议分析技术,提出了适合于构建网络攻击事件库和进行攻击仿真的网络攻击事件分类体......
深入分析了MLS的核心思想，给出了MLS在包含多级客体的系统中的表述形式，分析了安全不变式（invariant）在系统安全定义中的作用．为了保证......
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP......
在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons 提出的推理规则为基础,......
信息物理融合系统CPS是通过计算、通信与控制技术有机和深度的融合实现计算资源与物理资源紧密结合的下一代智能系统,体系结构分析......
用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该......
介绍了一种基于进程的访问控制机制PBAC，它从活动进程的角度建模，在基于操作系统现有的访问控制模型基础上，依据进程的具体作用，对其权......
对用形式化语言Z描述的传统的答疑系统的规约进行了初始化定理证明、前置条件推导及其简化，证明设计的规格说明能够满足用户的需求．......
在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,......
Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式......
摘要：为提高装备管理软件开发效能，本文将形式化方法与软件工程化思想有机结合，给出了基于Z语言的装备管理业务基础软件平台的体系结......
OpenGL图形系统的开发难度随着OpenGL应用的不断发展和深入而日益增大,潜在的错误也越来越多,其中不能准确理解OpenGL规范是重要原......
