Using First-Order Logic for Product Line Model Validation 论文

2002Lecture notes in computer science引用 232
DOI
Advanced Software Engineering MethodologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques
企业软件Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesService-Oriented Architecture and Web Services
相关技术:Advanced Software Engineering MethodologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques
关系图谱

Using First-Order Logic for Product Line Model Validation · 作者

M

Mike Mannion