Verification of UML/OCL Class Diagrams using Constraint Programming 论文

2008引用 217
DOI
Model-Driven Software Engineering TechniquesWeb Applications and Data ManagementSemantic Web and Ontologies
企业软件Semantic Web and OntologiesWeb Applications and Data ManagementModel-Driven Software Engineering Techniques
相关技术:Model-Driven Software Engineering Techniques
关系图谱

Verification of UML/OCL Class Diagrams using Constraint Programming · 相关文章

暂无数据