Practical techniques for the design, specification, verification, and implementation of concurrent systems
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Cleaveland, Rance; Lewis, Philip M.; Smolka, Scott A.
- 卷第25卷
- 期第1期
- 印刷ISSN0163-5948
- 文件大小235.78KB
- 发表时间2000-01-01
- DOI10.1145/340855.340878
- 页码43-44
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Analyzing architectural styles with alloyKim, Jung Soo; Garlan, David · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Coverage and adequacy in software product line testingCohen, Myra B.; Dwyer, Matthew B.; Shi, Jiangfan · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Architecture-based testing using goals and plansWinbladh, Kristina; Alspaugh, Thomas A.; Ziv, Hadar; Richardson, Debra · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Performance implications of design pattern usage in distributed applicationsRudzki, Jakub; Systä, Tarja · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Verification support for plug-and-play architectural designWang, Shangzhu; Avrunin, George S.; Clarke, Lori A. · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - A foundation for behavioural conformance in software product line architecturesFischbein, Dario; Uchitel, Sebastian; Braberman, Victor · 2006
[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - Application of built-in-testing in component-based embedded systemsPavlova, Irena; Åkerholm, Mikael; Fredriksson, Johan · 2006
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