共 50 条
- [25] Scope, a framework of objects to develop structural analysis programs in C++ DEVELOPMENTS IN ENGINEERING COMPUTATIONAL TECHNOLOGY, 2000, : 117 - 122
- [26] Orion: High-precision methods for static error analysis of C and C++ programs FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 138 - 160
- [29] An automatic defect detection for C++ programs Advanced Reliability Modeling, 2004, : 419 - 426
- [30] A toolset for maintaining hybrid C++ programs JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1996, 8 (06): : 389 - 419