Z语言相关论文
现有的存储系统可靠性评估方法难以动态地描述其可靠性特征,也难以反映其与时间的关系;针对此问题,提出了一种结合Z语言、连续时间......
测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征......
本文提出了基于用户页面会话的Web应用测试覆盖准则,并用Z语言进行了严格的定义,避免了自然语言描述的不确定性。......
该文全面论述了移动Agent技术的发展、概念、理论和应用.然后,通过与传统技术的比较分析,对移动Agent技术进行了评价.提出了一个新......
统一建模语言UML已经成为面向对象建模语言的标准,正在得到越来越广泛的应用。形式化软件方法能产生严密、精确的规格说明,为软件开......
第一章介绍了计算机安全、网络安全、入侵检测的一些基本概念及相关术语.第二章首先介绍了入侵检测的分类并详细介绍了各种异常入......
软件测试是当今计算机科学与工程中起着至关重要作用的领域之一。近年来,面向对象技术的广泛应用和CASE工具的发展,已经大大减轻了......
随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一......
随着对入侵检测技术的深入研究和入侵检测产品的广泛应用,入侵检测系统进行测试和评估的需求也越来越迫切。对入侵检测系统进行测试......
软件测试是软件生命周期中一个重要环节,直接关系到软件的质量高低,充分的测试是项目成功的重要保障,测试用例的产生是软件测试的......
随着互联网技术的不断发展和网络用户的爆炸式增长,用户需求和网络应用趋于多元化。一些大型和复杂系统的应用使得现有的数据传输......
近年来,计算机技术、网络技术、图像处理技术的发展,深刻的影响着教育考试领域的方方面面。现在教育界正发生着翻天覆地的变化,同......
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......
软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式......
构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机。体系结构分析设计语言(Architecture Anal......
用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通......
文章根据ERP系统的特点,提出在系统设计阶段,采用形式化标记语言--Z语言对系统框架进行精确描述,以期提高系统构建的可靠性,降低开......
<正>引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有......
<正>形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、......
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功......
随着计算机软硬件技术和网络技术的发展和应用的不断深入,软件复用技术,特别是软件体系结构的设计和复用是克服软件危机行之有效的......
构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构......
带数据约束的实时系统是指一种既带有时间约束又带有数据变量约束的计算系统,其广泛存在于航空航天、工业控制、国防等安全攸关系......
AADL已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台OSATE为AADL提供建模、验证与分析工具。但AADL作为一种半形......
<正>1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪......
<正> 一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研......
1 引言传统需求工程应用于分布式系统开发的一个主要缺点是:传统需求工程中的每一个过程里只能有一个全局规格.这一点与实际的分布......
<正> 1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成......
针对现有的测试用例描述方法不够严谨,容易产生二义性的问题,在研究目前已有测试用例描述方法的基础上,提出了用Z语言描述测试用例......
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定......
ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何......
Z语言是牛津大学程序设计研究组设计的形式规格说明语言,作为Z语言处理前端的Z规格说明检查器用于Z规格说明的语法检查和类型检查,它通过......
美国Lexmark(利盟)公司近日推出了五种专为Sun公司用户提供的SunReady<sup>TM</sup>激光打印完整解决方案。其中包括用于以太网的Opt......
在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发。Z是一种基于数学表示的软件规格说明方法。前置条件的简化是Z规......
为了使Z规格说明与面向对象开发方法相结合。本文在Z中扩充了对象类型和模拟描述机制,使之成为面向对象的形式化规格说明语言COOZ(complete object-orientedZ).内容包......
虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.......
随着智能交通系统(ITS)的飞速发展,交通功能的不断增加,与ITS配套的信息系统日趋庞大复杂。传统的软件工程设计思想,不能满足日益增长......
Z语言是目前广泛使用的一种形式化方法语言.它具有简明、精确、无歧义的优点.本文利用Z语言对一种棋类游戏--西瓜棋进行了描述,并......
面向对象的形式化规格说明语言Object Z在软件开发中的规格需求方面已广泛应用,但在安全关键系统开发中的应用还是空白。容忍入侵......
形式说明利于精确定义系统的功能,而面向对象技术则利于系统的构造。Z语言是一个很流行的形式说明语言。本文阐明了通过在Z语言中增......
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同......
软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事......
形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规......
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此......
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移......
以电子商务应用为背景,研究了结合形式化的面向对象建模方法,该方法将UML对系统建模的易于理解性及Z语言描述系统的可靠性有机地结......
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写......
软件规格说明的正确性是软件目标代码正确性的前提。正确性要求这一就是类型正确。本文介绍Z规格说明类型的检查器的实现方法,并对类......