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 · 作者

D

Daniel Riera

R

Robert Clarisó

J

Jordi Cabot