IISc Logo    Title

etd AT Indian Institute of Science >
Division of Electrical Sciences >
Computer Science and Automation (csa) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2005/71

Title: Language Support for Exploiting Software Structure Specifications
Authors: Kumar, Bharath M
Advisors: Srikant, Y N
Submitted Date: Mar-2001
Publisher: Indian Institute of Science
Abstract: 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 potentially be exploited by tools, to reduce redundancy in software writing by automating routine tasks, as well as giving valuable feedback on the software. We first broadly classify such tools based on their application, and look at some of the issues involved in writing them. Most of these tools are built using conventional programming languages that do not provide primitives that are routinely required by such tools. We identify some patterns that are seen while writing such tools and abstract them out into a language specially designed for the purpose. Our effort is a language called LEADS, where we attempt to make writing such tools a lot easier, modular, organized and portable. LEADS is based on the Pattern-Action approach, where one specifies the pattern of information of interest and the actions to be taken when it is found. The patterns are specified using a custom declarative language that is enriched with special primitives for routinely occurring constructs. LEADS also decouples itself from the specification environments and formats thereby ensuring wide applicability. This enables LEADS scripts to be ported across design environments with minimal effort.
URI: http://hdl.handle.net/2005/71
Appears in Collections:Computer Science and Automation (csa)

Files in This Item:

File Description SizeFormat
Thesis-LEADS.PDF4.52 MBAdobe PDFView/Open

Items in etd@IISc are protected by copyright, with all rights reserved, unless otherwise indicated.

 

etd@IISc is a joint service of SERC & IISc Library ||
Feedback
|| Powered by DSpace || Compliant to OAI-PMH V 2.0 and ETD-MS V 1.01