Tabular表达式相关论文
Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为Tabular表达式建立形式的......
需求问题的处理是软件项目成功与否的前提条件，软件需求工程的目标是采用系统化的方法和工程化的管理手段，为软件系统提供一个准确、......
正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出......
为推进云计算的发展，本文利用形式化方法对云计算系统的形式语义进行了刻画，并在其基础之上，对云计算中的变化影响分析问题和数据安全......
