Using First-Order Logic for Product Line Model Validation 论文
2002Lecture notes in computer science引用 232
Advanced Software Engineering MethodologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2002-01-01
- 发表年份
- 2002
关键词
Advanced Software Engineering MethodologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques