代数语义相关论文
该文的主要想法是想将形式化语义方法引入工业界应用极为广泛的VerilogHDL中,为Verilog的形式化验证以及自动求精提供严格的语义基......
随着程序设计的研究与发展，程序的正确性、可靠性、可维护性等问题受到普遍关注，所以对程序规范与验证的形式化方法研究有重要的意义......
文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述......
基本正系统B+是若干相干逻辑正系统的基础，通过添加新的公理模式就能在B+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley......
文章介绍了MSC(MessageSequenceCharts)的形式化语义及其进程理论。在原有消息机制的基础上对状态操作符进行扩展,增加了全局顺序......
近年来,软件演化已成为了软件生存周期中最重要的形态之一,成为了今天软件工程研究的热点领域。一方面,支持软件演化的软件过程(简......
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形......
随着新环境的出现,要求软件必须具有自治计算的能力、具有自省性和自适应性的能力、能够支持动态的重配置和网络在线维护和演化的......
随着大量的软件演化过程模型被软件演化过程元模型建模产生，如何验证过程模型的正确性，是摆在人们面前的一个重要任务．针对软件演化过......
