共 50 条
- [42] Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications TESTS AND PROOFS, TAP 2011, 2011, 6706 : 84 - 101
- [44] Automated Test Case Generation from Correct and Complete System Requirements Models 2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 3144 - 3153
- [46] Reliability of BPMN Business Processes CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, 2015, 64 : 643 - 650
- [47] Preliminary research on textual requirements resolution VI software automatic generation Journal of Information and Computational Science, 2012, 9 (14): : 3947 - 3955
- [48] Quantifying the Similarity of BPMN Processes 2022 29TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC, 2022, : 377 - 386
- [50] From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2022, 2022, 13252 : 3 - 21