UMC_ProB_Translator 此代码是KandISTI项目的一部分,包含由Franco Mazzanti设计和开发的UML解析器以及一个主文件,该文件包含一系列将UMC模型(txt文件)转换为ProB模型(mch文件)的过程。
评论0