UML-B 论文

2006ACM Transactions on Software Engineering and Methodology引用 290

Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesFormal Methods in Verification

企业软件 Model-Driven Software Engineering Techniques Advanced Software Engineering Methodologies Formal Methods in Verification

相关技术:Advanced Software Engineering Methodologies Model-Driven Software Engineering Techniques Formal Methods in Verification

UML-B · 相关文章

暂无数据