共 50 条
- [1] Software Design Trends Supporting Multiconcern Assurance [J]. IEEE SOFTWARE, 2022, 39 (04) : 84 - 86
- [2] Verifying Code toward Trustworthy Software [J]. JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2018, 14 (02): : 309 - 321
- [4] Nudging Software Developers Toward Secure Code [J]. IEEE SECURITY & PRIVACY, 2022, 20 (02) : 76 - 79
- [6] Software development: Knowledge vs. software code [J]. AM/FM INTERNATIONAL CONFERENCE XIX, PROCEEDINGS - THRIVING IN AN AGE OF COMPETITION, 1996, : 21 - 28
- [10] Toward accurate link between code and software documentation [J]. Science China Information Sciences, 2018, 61