共 50 条
- [2] Software requirements specification database based on requirements frame model [J]. PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 221 - 228
- [3] Audio-visual software requirements specification [J]. INTERNATIONAL WORKSHOP ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 26 - 33
- [4] Model checking visual specification of requirements [J]. FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 202 - 209
- [5] A Model Checking based Software Requirements Specification Approach for Embedded Systems [J]. 2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 184 - 191
- [6] Specification for visual requirements of work-centered software systems [J]. FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, PROCEEDINGS, 2006, : 378 - +
- [7] Software Reliability Prediction Based on a Formal Requirements Specification [J]. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 816 - +
- [8] Ontology based Framework for DetectingAmbiguities in Software Requirements Specification [J]. PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 3572 - 3575
- [9] Software Reliability Assessment Based on a Formal Requirements Specification [J]. 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2, 2008, : 311 - +
- [10] Concept of unified use case model for software requirements specification [J]. VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2015, 32 (03): : 91 - 98