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

90篇 您的检索式：期刊名="ACM Trans on Software Engineering Methodology"

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

	题名	作者	年代	出处	被引量
1	Higher-order architectural connectors 显示文摘	Lopes A Wermelinger M Fiadeiro J L	2003	ACM Trans on Software Engineering and Methodology2003，12，1：	1
2	A formal basis for architectural connection显示文摘	Allan R Garlan D	1997	ACM Trans on Software Engineering and Methodology1997，6，3：	1
3	Architecting families of software systems with process algebras 显示文摘	Bernardo M Ciancarini P Donatiello L	2002	ACM Trans on Software Engineering and Methodology2002，11，4：	1
4	A Formal Basis for Architectural Connection显示文摘	Allen R Garian D	1997	ACM Trans on Software Engineering and Methodology1997，6，3：	1
5	Developing multiagent systems:The Gaia methodology显示文摘	N R Jennings M Wooldridge	2003	ACM Trans on Software Engineering and Methodology2003，12，3：	1
6	An Empirical Study of Regression Test Selection Techniques显示文摘	T L Graves M J Harrold J Kim	2001	ACM Trans on Software Engineering and Methodology2001，10，2：	1
7	A Safe,Efficient Regression Test Selection Technique显示文摘	G Rothermel M J Harrold	1997	ACM Trans on Software Engineering and Methodology1997，6，2：	1
8	Assessing process-centered software engineering environments显示文摘	Ambriola V Conradi R Fuggetta A	1997	ACM Trans on Software Engineering and Methodology1997，6，3：	1
9	A model for spectra-based software diagnosis显示文摘	NAISH L I EE H J RAMOHANARAO K	2011	ACM Trans on Software Engineering and Methodology2011，20，3：	1
10	Discovering models of software processes from event-based data显示文摘	COOK J E WOLF A L	1998	ACM Trans on Software Engineering and Methodology1998，7，3：	1
11	Formalizing styles to understand descriptions of software architecture显示文摘	Abowd G D Allen R Garlan D	1995	ACM Trans on Software Engineering and Methodology1995，4，4：	1
12	Managing inconsistent specifications: reasoning, analysis and action 显示文摘	HUNTER A NUSEIBEH B	1998	ACM Trans on Software Engineering and Methodology1998，7，4：	1
13	Developing MultiAgent Systems: The Gaia Methodology 显示文摘	ZamboneUi F Jennings N R Wooldridge M	2003	ACM Trans on Software Engineering and Methodology2003，12，3：	1
14	A Graphical Interval Logic for Specifying Concurrent Systems显示文摘	L K Dillon G Kutty L E Moser	1994	ACM Trans on Software Engineering and Methodology1994，3，2：	1
15	Validating Real-Time Systems by History-Checking TRIO Specifications显示文摘	M Felder A Morzenti	1994	ACM Trans on Software Engineering Methodology1994，3，4：	1
16	Developing Multiagent Systems:The Gaia Methodology显示文摘	Zambonelli F Jennings N R Wooldridge M	2003	ACM Trans on Software Engineering Methodology2003，12，3：	1
17	A comprehensive approach for the development of modular software architecture description languages 显示文摘	E M Dashofy A Hoek R N Taylor	2005	ACM Trans on Software Engineering and Methodology2005，26，1：	1
18	A formal basis for architectural connection显示文摘	Allen R Garlan D	1997	ACM Trans on Software Engineering and Methodology1997，6，3：	1
19	Protecting privacy using the decentralized label model显示文摘	Myers A C Liskov B	2000	ACM Trans on Software Engineering and Methodology2000，9，4：	1
20	Designing and Comparing Automated Test Oracles for GUI-Based Software Applications显示文摘	Xie Qing Memon A M	2007	ACM Trans on Software Engineering and Methodology2007，16，1：	1

返回顶部每页显示：

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

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

用户提示