共 50 条
- [21] Wizard-guided Extraction of SBVR Business Vocabularies and Rules from UML Use Case Models: Practical Implementation Aspect INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM-2018), 2019, 2116
- [23] VETIS TOOL FOR EDITING AND TRANSFORMING SBVR BUSINESS VOCABULARIES AND BUSINESS RULES INTO UML&OCL MODELS INFORMATION TECHNOLOGIES' 2010, 2010, : 377 - 384
- [24] On Well-Formedness Rules for UML Use Case Diagram WEB INFORMATION SYSTEMS AND MINING, 2010, 6318 : 432 - 439
- [25] Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2008, 2008, 5326 : 436 - 443
- [26] Deriving Combinatorial Test Design Model from UML Activity Diagram IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 331 - 337
- [27] A Novel Approach for Test Case Generation from UML Activity Diagram PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON ISSUES AND CHALLENGES IN INTELLIGENT COMPUTING TECHNIQUES (ICICT), 2014, : 621 - 629
- [28] Mapping UML Activity Diagram into Z Notation INNOVATIVE DATA COMMUNICATION TECHNOLOGIES AND APPLICATION, ICIDCA 2021, 2022, 96 : 301 - 318
- [29] Testcases Formation using UML Activity Diagram 2013 INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORK TECHNOLOGIES (CSNT 2013), 2013, : 884 - 889
- [30] Transformation of UML Activity Diagram for Enhanced Reasoning PROCEEDINGS OF THE FUTURE TECHNOLOGIES CONFERENCE (FTC) 2018, VOL 2, 2019, 881 : 466 - 482