共 50 条
- [31] Tool support for Domain Analysis of the Software Specification in Natural Language TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 1065 - 1070
- [32] Automated Mining and Checking of Formal Properties in Natural Language Requirements KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2019, PT II, 2019, 11776 : 75 - 87
- [33] Formal engineering for industrial software development - An introduction to the SOFL specification language and method FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 7 - 8
- [35] Ambiguity in Natural Language Software Requirements: A Case Study REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2010, 6182 : 233 - 247
- [36] Software requirements as an application domain for natural language processing Language Resources and Evaluation, 2017, 51 : 495 - 524
- [38] Formal specification for quality in software development PROCEEDINGS OF THE 5TH SOFTWARE QUALITY CONFERENCE, 1996, : 252 - 260
- [39] Automated Conditional Statements Checking for Complete Natural Language Requirements Specification APPLIED SCIENCES-BASEL, 2021, 11 (17):