TY - GEN
T1 - Comparative analysis of tools for automated software re-engineering purposes
AU - Wagner, Christian
AU - Margaria, Tiziana
AU - Pagendarm, Hans Georg
PY - 2006
Y1 - 2006
N2 - Model driven analysis and design are increasingly recognized as powerful methodologies for software development and evolution. Model driven approaches in particular can be also combined with formal methods, offering advantages for verification, analysis, and testing. In order to use model driven methods for re-designing existing software, however, one needs additional facilities to transform the existing source code into adequate models. We examine in this paper a large number of existing tools for the analysis and processing of C/C++ source code, and evaluate them with respect to their usefulness in the model driven development process of software re-design projects. Our goal is to identify tools suitable to convert C or C++ code into a code-level model. Preferably, we want to use existing compilers, adequate system tools or other research and commercial programs to automate the process of deriving code-level models of large software applications.
AB - Model driven analysis and design are increasingly recognized as powerful methodologies for software development and evolution. Model driven approaches in particular can be also combined with formal methods, offering advantages for verification, analysis, and testing. In order to use model driven methods for re-designing existing software, however, one needs additional facilities to transform the existing source code into adequate models. We examine in this paper a large number of existing tools for the analysis and processing of C/C++ source code, and evaluate them with respect to their usefulness in the model driven development process of software re-design projects. Our goal is to identify tools suitable to convert C or C++ code into a code-level model. Preferably, we want to use existing compilers, adequate system tools or other research and commercial programs to automate the process of deriving code-level models of large software applications.
UR - http://www.scopus.com/inward/record.url?scp=77956423273&partnerID=8YFLogxK
U2 - 10.1109/ISoLA.2006.67
DO - 10.1109/ISoLA.2006.67
M3 - Conference contribution
AN - SCOPUS:77956423273
SN - 0769530710
SN - 9780769530710
T3 - Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
SP - 433
EP - 440
BT - Proceedings - ISoLA 2006
PB - IEEE Computer Society
T2 - 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
Y2 - 15 November 2006 through 19 November 2006
ER -