共 50 条
- [1] Extracting models from source code in software modernization [J]. Software & Systems Modeling, 2014, 13 : 713 - 734
- [2] Software model checking -: Extracting verification models from source code [J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 481 - 497
- [3] Software model checking: extracting verification models from source code [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (02): : 65 - 79
- [4] Extracting Zing models from C source code [J]. SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4362 : 900 - +
- [5] A Domain Specific Language for Extracting Models in Software Modernization [J]. MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 82 - 97
- [6] On the use of ADM to Contextualize Data on Legacy Source Code for Software Modernization [J]. 16TH WORKING CONFERENCE ON REVERSE ENGINEERING (WCRE 2009), 2009, : 128 - +
- [7] Extracting business rules from source code [J]. FOURTH WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1996, : 240 - 247
- [8] Extracting facts from open source software [J]. 20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2004, : 60 - 69