维普期刊资源整合服务平台（V6.5）

47篇 您的检索式：期刊名="ACM TOSEM"

选中清除导出查看参考文献查看引证文献引用追踪共3页首页上一页第1页下一页末页 /3 跳转

	题名	作者	年代	出处	被引量
1	The small-world effect: the influence of macro-level properties of developer collaboration networks on open-source pro- ject success 显示文摘	Singh P V	2010	ACM Transactions on Software Engineering and Methodology (TOSEM)2010，20，2：	1
2	Two case studies of open source software development:Apache and Mozilla显示文摘	Mockus A Fielding R T Herbsleb J D	2002	ACM Transactions on Software Engineering and Methodology(TOSEM)2002，11，3：	1
3	Recommending adaptive changes for framework evolution显示文摘	Dagenais B Robillard M P	2011	ACM Transactions on Software Engineering and Methodology (TOSEM)2011，20，4：	1
4	Foundations of incremental aspect model-checking显示文摘	Shriram Krishnamurthi Kathi Fisler	2007	ACM Transactions on Software Engineering and Methodology (TOSEM)2007，，2：	1
5	Flow Analysis for Verifying Properties of Concurrent Software Systems显示文摘	Dwyer M B Ctarke L A Naumovich G	2004	ACM TOSEM2004，13，4：	1
6	Discovering models of software processes from event-based data显示文摘	Cook J E Wolf A L	1998	ACM Transactions on Software Engineering and Methodology (TOSEM)1998，7，3：	1
7	A Theoretical Analysis of the Risk Evaluation Formulas for Spectrum-Based Fault Locali- zation显示文摘	Xie X Y Chen T Y Kuo F-C	2013	ACM Transactions on Software Engineering and Methodology (TOSEM)2013，22，4：	1
8	A model for spectra-based software diagnosis 显示文摘	Lee Naish Hua Jie Lee Kotagiri Ramamohanarao	2011	ACM Transac- tions on software engineering and methodology (TOSEM)2011，20，3：	1
9	Concept location u sing formal concept analysis and information retrieval显示文摘	Poshyvanyk D Gethers M Marcus A	2012	ACM Transactions on Software Engineering and Methodolo gy (TOSEM)2012，21，4：	1
10	Two case studies of open source software development Apache and Mozilla 显示文摘	Mockus A Fielding R Herbsleb J	2002	ACM Transactions on Software Engineering and Methodology (TOSEM)2002，11，3：	1
11	Alloy:A lightweight object modelling notation显示文摘	Daniel Jackson	2002	ACM Transactions on Software Engineering and Methodology(TOSEM)2002，11，2：	1
12	Automatically repairing event sequencebased GUI test suites for regression testing显示文摘	Memon A M	2008	ACM Transactions on Software Engineering and Methodolo- gy(TOSEM)2008，18，2：	1
13	Post-release reliability growth in software products 显示文摘	Jalote P Murphy B	2008	ACM Transactions on Software Engineering and Methodology ( TOSEM )2008，17，4：	1
14	Signature maching:A tool for using soft- ware libraries显示文摘	Zaremski A M Wing J M	1995	ACM TOSEM1995，4，2：	1
15	Accounting for defect char- acteristics in evaluations of testing techniques 显示文摘	Strecker J Memon A M	2012	ACM Transactions on Software Engineering and Methodology(TOSEM)2012，21，3：	1
16	A methodology for controlling the size of a test suite显示文摘	M. Jean Harrold Rajiv Gupta Mary Lou Soffa	1993	ACM Transactions on Software Engineering and Methodology (TOSEM)1993，，3：	1
17	Delta Algorithms:An Empirical Analysis显示文摘	James J H Ktem-Phong V Walter F T	1998	Source ACM Transactions on Software Engineering and Methodology (TOSEM) Archive1998，7，4：	1
18	Verifying Security Protocols with Brutus显示文摘	CLARKE EM JHA S MARRERO W	2000	ACM Transactions on Software Engineering and Methodology (TOSEM)2000，9，4：	1
19	LIME:A coordination model and middleware supporting mobility of hosts and agents显示文摘	Murphy A L Picco G P Roman Gruia-Cataliu	2006	ACM Transactions on Software Engineering and Methodology (TOSEM)2006，18，7：	1
20	A formal basis for architectural connection显示文摘	Robert Allen David Garlan	1997	ACM Transactions on Software Engineering and Methodology (TOSEM)1997，，3：	1

返回顶部每页显示：

共3页首页上一页第1页下一页末页 /3 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示