Precise specification of the architecture and design of software is a good practice. Such specifications contain a lot of information about the software that can be exploited by tools. In this seminar, we introduce 'exploitations of software structure specifications' and classify them. We identify some patterns that are seen while exploiting software structure specifications and abstract them into a language specially designed for this purpose.
Currently, most of these exploitations are programmed using conventional programming languages. Our language LEADS and its compiler make writing tools for exploiting exploitations much easier and more portable. LEADS also decouples itself from the specification environments and formats, thereby ensuring wide applicability.