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