共 50 条
- [25] Verification of concurrent software with FLAVERS PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 594 - 595
- [26] Testing Concurrent Software Systems 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 375 - 376
- [27] Can a software quality model hit a moving target? INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 68 - 70
- [28] FORMAL VERIFICATION OF CONCURRENT SOFTWARE PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 59 - 59
- [29] Software design for usability and quality of software MANAGEMENT OF TECHNOLOGY, EFFICIENCY AND CREATIVITY: THE CONTRIBUTION OF ERGONOMICS, 1997, : 153 - 156
- [30] SOFTWARE QUALITY ASSURANCE FOR RELIABLE SOFTWARE PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1978, (NSYM): : 73 - 78