【摘 要】
：
该文主要研究XYZ系统在多媒体领域的应用问题.XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统,它由时序逻辑语言(TLL:Temporal Logic Language)XYZ
论文部分内容阅读
该文主要研究XYZ系统在多媒体领域的应用问题.XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统,它由时序逻辑语言(TLL:Temporal Logic Language)XYZ/E和以该语言为基础的一组软件工程工具组成.为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术.最后,该文对一类特殊的时序描述分别给出自动生成事件序列前后约束(CSPE:Constraints on Succeeding and Preceding Events)和时间自动机(Timed Automata)的方法,依据生成的结果,一方面可以应用CSPE的测试理论和工具进行同步器的同步测试;另一方面根据时间自动机,进行非确定性测试时,可以较容易地判断运行结果正确与否,在进行确定性测试时,可以辅助自动生成测试用例.
其他文献
该文在对ME整体结构分析的基础上,分析了ME寄存器传输门结构的可控制性和可观测性.分析了ME设计中的功能部件,对用VHDL语言编写的功能部件分析了可控制性和可观测性.接着讨论
该文基于小波时-频窗指出小波变换存在"频带分割不到位"的缺陷而且时域的相位调制不能弥补这个缺陷,提出"能量因子"的概念并说明"小波窗口能量不集中"的问题.作为小波变换的
该文通过对一个远程水位监测系统的远程化和网络化的设计与实现,主要对面向对象的放网络通信节点上的数据分布算法进行了研究.为了使水位自动监测远程化、网络化,进而实现全
朴素贝叶斯算法(Naive Bayes)是一种基于统计理论的分类算法,其在各种分类任务中有着广泛的应用。针对当前需要对海量的数据进行分类和用于训练的带标记的样本数据非常匮乏等
不同平台上的资源共享和协同工作是目前制造企业应用和实现CSCW技术面临的主问题,尤其是CAD/CAM技术作为对国民经济最有实际经济效果的新技术之一,实现CAD/CAM系统资源的代享
面向对象方法学是近年来迅速发展的一个研究.它设法使问题空间同解空间尽可能的一致.面向对象的方法包括面向对象的分析、设计和实现.利用面向对象方法分析系统,分析更接近问
报告共分三章.第一章研究子结构迭代法中二阶非自共轭椭圆方程内边界预条件子的构造.子结构迭代法,又名Schur补方法,属于非重叠型区域分解方法.此时所谓Steklov-Poincare算子
随着计算机技术与网络计算的发展和应用的普及,计算机应用已由传统的单机或部门级Client/Server应用发展为企业级、多个企业间多层Client/Server应用.该文介绍了多层Client/S
软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构设计过程中，经常要碰到的问题是如何从抽象的高层体系结构逐步过渡到底层 的体系结构直到最后的实现。