共 50 条
- [41] Automated model transformations using the C.C language [J]. ADVANCES IN ENTERPRISE ENGINEERING I, PROCEEDINGS, 2008, 10 : 137 - +
- [42] EVALUATING UML SEQUENCE MODELS USING THE SPIN MODEL CHECKER [J]. ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 417 - 422
- [43] Building Dynamic Model in UML using Colored Petri Nets [J]. 2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 805 - 808
- [44] Model-Based System Testing Using Visual Contracts [J]. 2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 121 - 124
- [45] A Rigorous Reasoning about Model Transformations Using the B Method [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2013, 2013, 147 : 426 - 440
- [46] Model-driven user requirements specification using SysML [J]. Journal of Software, 2008, 3 (06) : 57 - 68
- [47] OSGi Services Design Process using Model Driven Architecture [J]. 2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2009, : 791 - 794
- [48] Formal Representation of Fuzzy Data Model Using Description Logic [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT IV, 2013, 7974 : 108 - 119
- [49] Towards Model-Based Optimisation: Using Domain Knowledge Explicitly [J]. SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016), 2016, 9946 : 317 - 329
- [50] Model-Based Measurement of Software Layers Using the COSMIC Method [J]. PROCEEDINGS OF THE 11TH EUROPEAN CONFERENCE ON INFORMATION SYSTEMS MANAGEMENT (ECISM 2017), 2017, : 157 - 167