Intelligent knowledge database (IKD) tool for formal methods

Nanda, Manju and Jayanthi, J and Madhan, V (2012) Intelligent knowledge database (IKD) tool for formal methods. International Journal of Software Engineering & Applications , 3 (6). pp. 117-127. ISSN 0975 - 9018

[img] PDF
Restricted to Registered users only

Download (284kB) | Request a copy
Official URL:


This paper discusses the Intelligent Knowledge Database (IKD) tool generated for formal methods. The knowledge database provides the information regarding the existing formal methods in the area of academia, industry and R&D sectors. The tool provides complete information about the formal methods adopted in the conventional or model-based approach, in the various phases of the software development life cycle process, list of tools using formal techniques with their version and published literature supporting formal methods. This knowledge-database serves as a live encyclopedia which will enable the engineers and researchers interested in the field of formal methods. The database is intelligent because it provides the user with the flexibility of searching the formal method related information using keyword similar to the search engine. This is a unique tool for formal methods encompassing most of the published literature with intelligent search options.

Item Type: Article
Additional Information: Copyright to this article belongs to M/s. Academy & Industry Research Collaboration Center
Uncontrolled Keywords: Formal methods;Information retrieval;Verification and validation;SDLC;Phases;Encyclopedia;Database;Live database tool
Subjects: MATHEMATICAL AND COMPUTER SCIENCES > Computer Programming and Software
Depositing User: Ms. Alphones Mary
Date Deposited: 24 Dec 2013 09:40
Last Modified: 24 Dec 2013 09:40

Actions (login required)

View Item View Item