Real theorem provers deserve real user-interfaces
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Théry, Laurent; Bertot, Yves; Kahn, Gilles
- 卷第17卷
- 期第5期
- 印刷ISSN0163-5948
- 文件大小1045.46KB
- 发表时间1992-11-01
- DOI10.1145/142882.143760
- 页码120-129
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