共 50 条
- [31] Conflict prevention via model-driven policy refinement LARGE SCALE MANAGEMENT OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4269 : 209 - 220
- [32] Data-driven refinement of a probabilistic model of user affect USER MODELING 2005, PROCEEDINGS, 2005, 3538 : 40 - 49
- [33] Traceability-driven model refinement for test case generation 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 113 - 120
- [35] Abstract interactions and interaction refinement in model-driven design NINTH IEEE INTERNATIONAL EDOC ENTERPRISE COMPUTING CONFERENCE, PROCEEDINGS, 2005, : 273 - 286
- [36] Refinement, Validation and Implementation of SWAT Model Central Texas TMDL 21ST CENTURY WATERSHED TECHNOLOGY: IMPROVING WATER QUALITY AND ENVIRONMENT CONFERENCE PROCEEDINGS, 2010,
- [38] Model-driven validation of SystemC designs 2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 29 - +
- [39] Experiment in model driven validation of BPEL specifications Interoperability of Enterprise Software and Applications, 2006, : 265 - 276
- [40] Model driven simulation and validation of system architecture Xi Tong Gong Cheng Yu Dian Zi Ji Shu/Systems Engineering and Electronics, 2013, 35 (11): : 2424 - 2429