【摘 要】
：
XYZ系统是一个建立在线性时序逻辑基础上语言(TLL)XYZ/E上的系统,并且拥有一系列的加强可靠性,可支持性,效率的工具.作为行一个可执行的时序逻辑语言,它把时序逻辑算了融入到
论文部分内容阅读
XYZ系统是一个建立在线性时序逻辑基础上语言(TLL)XYZ/E上的系统,并且拥有一系列的加强可靠性,可支持性,效率的工具.作为行一个可执行的时序逻辑语言,它把时序逻辑算了融入到编程语言当中,因此它能在统一的框架内表示程序的静态语义和动态语义,并且支持从抽象规范到可执行程序间的逐步求精.研究人员以XYZ/E为基础描述了一些常用的体系结构风格,给出了基于体系结构风格的求精模式,并且提出了软件体系结构子风格概念.软件的开发可以从按照特定模式互相关联的组件开始,在规范的导引之下,实现组件的逐个求精,并且每一步都可以做形式化的验证.最后,研究人员将以一个实例来展示这种方法.
其他文献
随着越来越多网络接入设备进入我们的生活,物物相连的物联网成为了一个非常热门的研究领域。无线传感器网络(WSN)和射频标签(RFID)作为物联网的重要组成部分,也吸引了大批研
压力容器是海上工艺系统的重要组成部分,承担着油气输送和处理的工作.近年来,为保障海洋石油的安全生产,防止容器泄露等事故的发生,开展了大量的容器检测探索和实践工作.经统
本文首先阐述了高效液相色谱技术理论概述,接着分析了高效液相色谱技术在食品检测中的应用.希望能够为相关人员提供有益的参考和借鉴.
随着我国信息技术的发展,各种智能的技术在各行各业不断的发光发热,在不同的领域进行使用,在这样的背景下,智能电能表得到了设计和发展,智能化的电能表广泛地应用到了人民的
安全问题正成为网络的热点问题，人们在想方设法保护内部网络免受外部攻击的同时，似乎缺乏对内部网络安全的足够重视。但“家贼难防”，内部网主机间直接相连，内部员工熟知资源的访
在建筑施工材料中,混凝土强效剂作为一种新型混凝土外加剂,在与减水剂共同拌制的试验样本中,混凝土的水泥用量节省15%的情况下,混凝土综合性能满足施工和技术要求,同时试验样
该文针对当前WEB信息检索的不足,提出了一种基于元数据的检索方式,并且采用Z39.50协议实现了一个WEB检索服务器,在提供快速有效的检索服务的同时,保持了与通用Z39.50客户端的
该课题来源于国家自然科学基金课题"智能网业务软件关键技术的研究".该论文介绍了智能网的历史和标准化及智能网的基本原理,接着着重讨论了通用个人通信业务,电话投票业务、
随着ATM技术的迅速发展,它的优点越来明显的表现出来,但是由于传统的LAN已经得到了广泛的应用,因此ATM技术要想取得成功,必须实现ATM网络和传统的局域网的互连.在国家"九五"
常用玻璃量器的检定除了用电子天平称量纯水的重量外,其他环节都是检定员的人工操作,因此影响检定结果的因素比较多,正确的检定方法可以减少这些因素对检定结果的影响.