操作语义相关论文
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
目前数字经济正在向可编程经济时代演进,智能合约对可编程经济起着重要的推动作用,但其应用却面临着种种问题。在区块链应用中,由......
软件漏洞分析是网络空间安全的重要研究内容。现有软件漏洞分析方法存在效率不高,准确性差,通用性不强的缺陷。同时,真实程序执行......
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基......
该文以企业实施大规模定制作为问题的研究背景和验证基础,主要研究了窄带环境下面向大规模定制的协同设计环境体系结构及支持协同......
随着软件技术的不断发展，开发者和用户对于软件质量提出了更高的要求。为此，软件开发者试图从技术、管理等各层面控制软件开发过程，提......
随着软件规模的不断扩大，软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务，也是降低软件开发成本......
本文所作得的主要工作包括：（1）首先给出协同CAD的系统模型，设计出支持同构以及异构协同的两种协作框架。接着分别阐述了客户端以及服务......
目前，Web服务逐渐普及，网格计算方兴未艾，移动无线网络逐步推广，在这些并发、分布和移动环境下，对事务处理的模型、语言和原型的研究正......
市场的全球化带来了产品设计和生产管理的网络化要求；要求有一种支持协同设计的平台技术，支持不同专业背景的领域专家间的协同工作。......
本文研究具有非对称通信和带不等名算子的χ-演算，即非对称χ≠-演算。主要工作包括以下三个方面： 1.参照傅育熙教授关于χ≠-演......
计算机支持的协同设计(Computer Supported Cooperative Design, CSCD)已经成为网络环境下数字化设计与制造的关键技术之一,异构CA......
《形式语义学》是计算机软件与理论专业的研究生学位课,在研究生计算机教育中占有重要的地位。它是程序设计理论的组成部分,以数学......
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Prog......
随着网络技术的飞速发展,人们迫切需要实现松散耦合的、语言独立的、跨平台的异构应用集成与交互机制。Web服务作为一种快速发展的......
通过对IEC61850标准中变电站配置语言(Substation Configuration Language,SCL)的XML Schema(Extensible Markup Language Schema)......
针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言程序转换为可信编译......
