Automatic transition of natural language software requirements specification into formal presentation

Authors:
M. G. Ilieva;Olga Ormandjieva
Affiliations:
Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada;Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada
Venue:
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Year:
2005

Citing 4
Cited 12

The Unified Modeling Language user guide

The Unified Modeling Language user guide
Automated conversion from requirements documentation to an object-oriented formal specification language

Proceedings of the 2002 ACM symposium on Applied computing
Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems

APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Java Software Solutions: Foundations of Program Design

Java Software Solutions: Foundations of Program Design

Natural language processing and formal concept analysis technologies for automatic building of domain model

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Moving from Requirements to Design Confronting Security Issues: A Case Study

OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
The MP (Materialization Pattern) Model for Representing Math Educational Standards

ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Tool support for essential use cases to better capture software requirements

Proceedings of the IEEE/ACM international conference on Automated software engineering
A survey of traceability in requirements engineering and model-driven development

Software and Systems Modeling (SoSyM)
Automatic generation of design search keywords from software specifications to improve design search results

ACM SIGSOFT Software Engineering Notes
Creating design from requirements and use cases: bridging the gap between requirement and detailed design

Proceedings of the 5th India Software Engineering Conference
Functional grouping of natural language requirements for assistance in architectural software design

Knowledge-Based Systems
Faithfully formalizing OSEK/VDX operating system specification

Proceedings of the Third Symposium on Information and Communication Technology
Litmus: generation of test cases from functional requirements in natural language

NLDB'12 Proceedings of the 17th international conference on Applications of Natural Language Processing and Information Systems
Ontological text mining of software documents

NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
Flexible and customizable NL representation of requirements for ETL processes

NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software requirements specification is a critical activity of the software process, as errors at this stage inevitably lead to problems later on in system design and implementation. The requirements are written in natural language, with the potential for ambiguity, contradiction or misunderstanding, or simply an inability of developers to deal with a large amount of information. This paper proposes a methodology for the natural language processing of textual descriptions of the requirements of an unlimited natural language and their automatic mapping to the object-oriented analysis model.