自动精化相关硕士博士期刊学术论文

行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论，提出了一种结构模型约束下的行为模型形式化描述......