Personal Home Page Research Interests Programming Languages, Compiler, Program Analysis and Optimization, Object Oriented Programming, Software Engineering. The target software system mainly consists of source code constructed during Development phase. All these documents have explicit or implicit structure.
Formal documents includes program source code and formal specifications.
Informal documents include all other documents. In practice these two sets of documents are maintained separately. Since modern software systems are quite complex, a software engineer needs to interact and manage these informal structured documents while developing and maintaing source code. Therefore integrating the management of these two sets of documents and having hyperlinks between them will be very helpful to a developer. We use XML to represent structured documents.