Re-use of formatted requirements specifications
Software Engineering Journal
Concept acquisition and analysis for requirements specifications
Software Engineering Journal
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
A Reference Model for Requirements and Specifications
IEEE Software
Using Expert Systems to Construct Formal Specifications
IEEE Expert: Intelligent Systems and Their Applications
Software Requirements Specification Database Based on Requirements Frame Model
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Abstract Requirements Specification: A New Approach and Its Application
IEEE Transactions on Software Engineering
An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 01
Concern Based Approach to Generating SCR Requirement Specification: A Case Study
CSIE '09 Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering - Volume 07
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Hi-index | 0.00 |
Software Design Notation Storage and Inference Mechanism (DNSIM) is capable of storing software designs by using Design Markup Language (DGML) tags and reusing existing design elements to produce new software designs. This mechanism performs search operations on stored designs. The accuracy of the search results depends upon the correctness of the keywords provided to the search process. The challenge is to input the Software Requirement Specification (SRS) document as a search input to DNSIM and to produce the best possible design from existing design elements. This paper proposes a method to produce requirement specification keywords from the formal representation of the SRS. The DNSIM system uses the keywords produced by our method and shows significant improvements and accuracy in the design search results