共 50 条
- [1] Requirements-based UML [J]. EIGHTEENTH ANNUAL PACIFIC NORTHWEST SOFTWARE QUALITY CONFERENCE, PROCEEDINGS, 2000, : 411 - 426
- [2] Requirements-based UML [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 307 - 316
- [4] Requirements-based testing: An overview [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 286 - 295
- [5] Requirements-based estimation of change costs [J]. Empirical Software Engineering, 2000, 5 (3) : 229 - 243
- [6] Requirements Modeling and Automated Requirements-Based Test Generation [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2013, 6 (02): : 607 - 615
- [7] A formal approach to requirements-based programming [J]. 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2005, : 339 - 345
- [8] A Requirements-based Comparison of Privacy Taxonomies [J]. RELAW: 2008 REQUIREMENTS ENGINEERING AND LAW, 2008, : 5 - 9
- [9] A Formal Analysis of Requirements-Based Testing [J]. ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 47 - 55
- [10] Requirements-based Code Model Checking [J]. 2020 IEEE WORKSHOP ON FORMAL REQUIREMENTS (FORMREQ 2020), 2020, : 21 - 27