Article

Processing Natural Language Software Requirement Specifications

Authors:

Miles Osborne,

C K. MacNishAuthors Info & Claims

ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)

Page 229

Published: 15 April 1996 Publication History

Publisher Site

Abstract

Ambiguity in requirement specifications causes numerous problems; for example in defining customer/supplier contracts, ensuring the integrity of safety-critical systems, and analysing the implications of system change requests. A direct appeal to formal specification has not solved these problems, partly because of the restrictiveness and lack of habitability of formal languages. An alternative approach, described in this paper, is to use natural language processing (NLP) techniques to aid the development of formal descriptions from requirements expressed in controlled natural language. While many problems in NLP remain unsolved, we show that suitable extensions to existing tools provide a useful platform for detecting and resolving ambiguities. Our system is demonstrated through a case-study on a simple requirements specification. Keywords: Natural Language Processing, Tool Support, Ambiguity Detection.

Cited By

View all

Usdadiya CTiwari SBanerjee ANaik RSarkar SHildebrandt TKumar ASharma R(2019)An Empirical Study on Assessing the Quality of Use Case MetricsProceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3299771.3299775(1-11)Online publication date: 14-Feb-2019
https://dl.acm.org/doi/10.1145/3299771.3299775
Tiwari SAmeta DBanerjee ANaik RSarkar SHildebrandt TKumar ASharma R(2019)An Approach to Identify Use Case Scenarios from Textual Requirements SpecificationProceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3299771.3299774(1-11)Online publication date: 14-Feb-2019
https://dl.acm.org/doi/10.1145/3299771.3299774
Ferrari ASpoletini PGnesi S(2016)Ambiguity and tacit knowledge in requirements elicitation interviewsRequirements Engineering10.1007/s00766-016-0249-321:3(333-355)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s00766-016-0249-3
Show More Cited By

Recommendations

Natural language processing for software requirement specifications
CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering

Software Requirement Specifications (SRS) describe the functionality and expected performance for software products. It is one of the most important documents in the software development life cycle process that affects all the subsequent phases in ...
From formal specifications to natural language: a case study
ASE '97: Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

Because software specifications often serve as a formal contract between the developer and the customer, systems have been proposed that help the software client better understand specifications by automatically paraphrasing them in natural language. ...
Contextual natural language processing and DAML for understanding software requirements specifications
COLING '02: Proceedings of the 19th international conference on Computational linguistics - Volume 1

In software engineering a system requirements document written in a natural language (NL) needs to be translated into one of the formal specification languages for system execution. When this translation is to be automated, resolution of the ambiguity ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICRE '96: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)

April 1996

ISBN:0818672528

Publisher

IEEE Computer Society

United States

Publication History

Published: 15 April 1996

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Usdadiya CTiwari SBanerjee ANaik RSarkar SHildebrandt TKumar ASharma R(2019)An Empirical Study on Assessing the Quality of Use Case MetricsProceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3299771.3299775(1-11)Online publication date: 14-Feb-2019
https://dl.acm.org/doi/10.1145/3299771.3299775
Tiwari SAmeta DBanerjee ANaik RSarkar SHildebrandt TKumar ASharma R(2019)An Approach to Identify Use Case Scenarios from Textual Requirements SpecificationProceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)10.1145/3299771.3299774(1-11)Online publication date: 14-Feb-2019
https://dl.acm.org/doi/10.1145/3299771.3299774
Ferrari ASpoletini PGnesi S(2016)Ambiguity and tacit knowledge in requirements elicitation interviewsRequirements Engineering10.1007/s00766-016-0249-321:3(333-355)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s00766-016-0249-3
Laue RKoop WGruhn V(2016)Indicators for Open Issues in Business Process ModelsProceedings of the 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality - Volume 961910.1007/978-3-319-30282-9_7(102-116)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1007/978-3-319-30282-9_7
Shah UJinwala D(2015)Resolving Ambiguities in Natural Language Software RequirementsACM SIGSOFT Software Engineering Notes10.1145/2815021.281503240:5(1-7)Online publication date: 14-Sep-2015
https://dl.acm.org/doi/10.1145/2815021.2815032
Deeptimahanti DSanyal RBahulkar AKesavasamy KPrabhakar TShroff G(2011)Semi-automatic generation of UML models from natural language requirementsProceedings of the 4th India Software Engineering Conference10.1145/1953355.1953378(165-174)Online publication date: 24-Feb-2011
https://dl.acm.org/doi/10.1145/1953355.1953378
Ormandjieva OHussain IKosseim LPezzè M(2007)Toward a text classification system for the quality assessment of software requirements written in natural languageFourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting10.1145/1295074.1295082(39-45)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.1145/1295074.1295082
Drazan JMencl V(2007)Improved Processing of Textual Use CasesProceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science10.1007/978-3-540-69507-3_74(856-868)Online publication date: 20-Jan-2007
https://dl.acm.org/doi/10.1007/978-3-540-69507-3_74
Sawyer PRayson PCosh K(2005)Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements EngineeringIEEE Transactions on Software Engineering10.1109/TSE.2005.12931:11(969-981)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1109/TSE.2005.129
Damian DZowghi DVaidyanathasamy LPal Y(2004)An Industrial Case Study of Immediate Benefits of Requirements Engineering Process Improvement at the Australian Center for Unisys SoftwareEmpirical Software Engineering10.1023/B:EMSE.0000013514.19567.ad9:1-2(45-75)Online publication date: 1-Mar-2004
https://dl.acm.org/doi/10.1023/B%3AEMSE.0000013514.19567.ad

Abstract

Cited By

Recommendations

Natural language processing for software requirement specifications

From formal specifications to natural language: a case study

Contextual natural language processing and DAML for understanding software requirements specifications

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations