共 50 条
- [1] Translating Software Requirements from Natural Language to Formal Specification 2012 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND CYBERNETICS (CYBERNETICSCOM), 2012, : 148 - 152
- [2] From Natural Language Requirements to Formal Specification using an Ontology 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 755 - 760
- [3] ARSENAL: Automatic Requirements Specification Extraction from Natural Language NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 41 - 46
- [4] Automatic generation of formal specification from requirements definition FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
- [5] Software Reliability Prediction Based on a Formal Requirements Specification ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
- [6] Software Reliability Assessment Based on a Formal Requirements Specification 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
- [7] Extracting concepts from the software requirements specification using natural language processing 2018 11TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION (HSI), 2018, : 443 - 448
- [8] Using formal specification language in industrial software development 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1847 - 1851