共 50 条
- [31] A UML Profile for Software Requirements Prioritization [J]. 2019 IEEE 10TH ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (IEMCON), 2019, : 885 - 891
- [32] UML Profile for Modeling Product Observation [J]. 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 209 - 214
- [33] Automatic Verification of Behavior of UML Requirements Specifications using Model Checking [J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 158 - 166
- [34] From annotated software designs (UML SPT/MARTE) to model formalisms [J]. FORMAL METHODS FOR PERFORMANCE EVALUATION, 2007, 4486 : 429 - 467
- [35] Designing software product lines with UML 2.0: From use cases to pattern-based software architectures [J]. SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 218 - 218
- [36] Designing software product lines with UML 2.0: From use cases to pattern-based software architectures [J]. REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS, 2006, 4039 : 440 - 440
- [37] Feasibility Analysis of SMartyModeling for Modeling UML-based Software Product Lines [J]. PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 442 - 449
- [38] Domain modeling for World Wide Web based software product lines with UML [J]. SOFTWARE REUSE: METHODS, TECHNIQUES, AND TOOLS, PROCEEDINGS, 2002, 2319 : 78 - 92
- [39] Using UML to Model Educational Games [J]. 2016 8TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES), 2016,
- [40] Simulation of UML model using ARENA [J]. PROCEEDINGS OF THE 6TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '07): SYSTEM SCIENCE AND SIMULATION IN ENGINEERING, 2007, : 190 - +