The Vienna Development Method: The Meta-Language 论文

1978Lecture notes in computer science引用 380

Logic, programming, and type systemsFormal Methods in VerificationModel-Driven Software Engineering Techniques

企业软件 Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification

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

The Vienna Development Method: The Meta-Language · 相关文章

暂无数据