共 50 条
- [2] On engineering constraint-based parametric design [J]. Jixie Kexue Yu Jishu/Mechanical Science and Technology, 2000, 19 (04): : 539 - 540
- [5] Constraint-based model checking for parameterized synchronous systems [J]. FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 72 - 86
- [8] Constraint-Based Model Refactoring [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 440 - 454
- [9] Constraint-based model checking of data-independent systems [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 579 - 598