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

宛陵秋 15 0 PDF 2020-07-24 09:07:45

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