数学语义相关论文
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提......
以数学语义分析并描述软件进程计算结构,建立了实用计算原型树。在此基础上,实现计算结构模块化处理及建立模块化展开公式,使软件......
