Software Analysis and Transformation Systems

点击翻译按钮获取中文摘要

Structural source transformation is an increasingly popular computer programming paradigm with a wide range of applications in academia and industry. We have designed the TXL programming language to explicitly and conveniently express problem solutions using this paradigm. In this work we explore and extend techniques for expressing and implementing structural source transformation systems (such as TXL) in the context of their application to computer software analysis and maintenance, in particular to model-driven engineering.The global goal of this work is the pursuit of efficient, cost-effective and correct methods for the development and maintenance of computer software systems. Our past work has been adapted into the products and services offered by IBM Canada and other companies in the Canadian software and financial industries, in the engineering of automotive systems at General Motors Canada, and by other researchers worldwide. In this proposal we concentrate primarily on tools and techniques for software analysis and maintenance, which accounts for over 70% of industrial software costs. This work involves the collaboration and training of more than 15 PhD and MSc thesis students over the next five years. These students will be applying state-of-the-art tools and techniques to design and develop the transformation-based software analysis and maintenance methods of the next generation of industrial software development.