共 50 条
- [22] Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2022, 2022, 13216 : 87 - 95
- [25] English as a formal specification language 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
- [27] Alneelain: A Formal Specification Language 2017 INTERNATIONAL CONFERENCE ON COMMUNICATION, CONTROL, COMPUTING AND ELECTRONICS ENGINEERING (ICCCCEE), 2017,
- [28] A generic approach to the formal specification of requirements FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 252 - 261
- [29] On the use of visualization in formal requirements specification IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 71 - 80
- [30] A method for requirements elicitation and formal specification CONCEPTUAL MODELING - ER'99, 1999, 1728 : 309 - 324