Modular verification of collaboration-based software designs
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Fisler, Kathi; Krishnamurthi, Shriram
- 卷第26卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小244.59KB
- 发表时间2001-09-01
- DOI10.1145/503271.503231
Reusability assessment for software componentsSharma, Arun; Grover, P. S.; Kumar, Rajesh · ACM SIGSOFT Software Engineering Notes · 2009
Compiler verificationDave, Maulik A. · ACM SIGSOFT Software Engineering Notes · 2003
Safeware: System Safety and ComputersNeumann, Peter · ACM SIGSOFT Software Engineering Notes · 1995
A survey of software inspection checklistsBrykczynski, Bill · ACM SIGSOFT Software Engineering Notes · 1999
Principles of survey researchKitchenham, Barbara; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2002
Principles of survey researchKitchenham, Barbara A.; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2002
Principles of survey researchPfleeger, Shari Lawrence; Kitchenham, Barbara A. · ACM SIGSOFT Software Engineering Notes · 2001
Principles of survey research part 6Kitchenham, Barbara; Pfleeger, Shari Lawrence · ACM SIGSOFT Software Engineering Notes · 2003