共 50 条
- [1] An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results [J]. 2021 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C 2021), 2021, : 83 - 91
- [2] Automatic generation of formal specification from requirements definition [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 243 - 251
- [3] A method of software requirements specification and validation for global software development [J]. Requirements Engineering, 2017, 22 : 191 - 214
- [5] A formal requirements engineering method for specification, synthesis, and verification [J]. 8TH CONFERENCE ON SOFTWARE ENGINEERING ENVIRONMENTS - PROCEEDINGS, 1997, : 131 - 144
- [6] A Verification Method of Elicited Software Requirements using Requirements Ontology [J]. 2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 553 - 558
- [7] Automatic transition of natural language software requirements specification into formal presentation [J]. NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3513 : 392 - 397
- [9] Software specification, verification and validation [J]. SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1996, 21 : 123 - 123