共 50 条
- [42] Transformation of UML Behavioral Diagrams to Support Software Model Checking ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 133 - 142
- [43] Deriving queuing network model for UML for software performance prediction SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 125 - +
- [44] MoMuT::UML Model-based Mutation Testing for UML 2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
- [46] Building Dynamic Model in UML using Colored Petri Nets 2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 805 - 808
- [47] Research on UML-based green alignment selection decision making model INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL 2, PROCEEDINGS, 2008, : 681 - 685
- [48] Verification method of security model based on UML and model checking Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 699 - 708
- [49] Software library usage pattern extraction using a software model checker ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 301 - 304
- [50] Building SMT-Based Software Model Checkers: An Experience Report FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 1 - 17