论文研究-一种行为模型的建模及模型精化方法 .pdf

【文件属性】：

文件名称：论文研究-一种行为模型的建模及模型精化方法 .pdf

文件大小：583KB

文件格式：PDF

更新时间：2022-09-04 09:33:48

模型驱动开发

一种行为模型的建模及模型精化方法，王帅强，马军，行为模型的建模和模型精化是软件工程中的基于模型驱动开发的关键问题。本文针对环境的形式化定义，提出了一种形式化的行为模型建