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

88篇 您的检索式：期刊名="Automated Software Engineering"

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

	题名	作者	年代	出处	被引量
1	Behavioral conflicts in a causal specification显示文摘	Moffett J Vickers A	2000	Automated Software Engineering2000，，7：	1
2	Runtime Recovery and Manipulation of Software Architecture of Component-based Systems显示文摘	Huang Gangfan Hong Mei Yang Fuqing	2006	Int''l Journal of Automated Software Engineering2006，13，2：	1
3	An automator error correction system for con- current logic programs 显示文摘	Ajiro Y Kimai K U	2002	Automated Software Engineering2002，9，2：	1
4	Tool-assisted unit-test generation and selection based on operational abstractions 显示文摘	Xie T Notkin D	2006	Automated Software Engineering Journal2006，，：	1
5	Creating high confidence in a separation kernel 显示文摘	MARTIN W B WHITE P D TAYLOR F S	2002	Automated Software Engineering2002，9，3：	1
6	Model Checking Complete Requirements Specifications Using Abstraction显示文摘	Ramesh Bharadwaj Constance L. Heitmeyer	1999	Automated Software Engineering1999，，1：	1
7	On similarity - awareness in testing-based fault localization 显示文摘	HAO D ZHANG L PAN Y	2008	Automated Software Engineering2008，15，2：	1
8	Estimating the feasibility of transition paths in Extended Finite State Maehines显示文摘	Derderian K Hierons R M Harman M	2010	Automated Software Engineering2010，17，1：	1
9	Analysing the Behaviour of Distributed Systems using Tracta显示文摘	Giannakopoulou D Kramer J Cheung S C	1999	Journal of Automated Software Engineering special issue on Automated Analysis of Software1999，6，1：	1
10	Defect prediction from static code features : current results, limitations, new approaches 显示文摘	MENZIES T MILTON Z TURHAN B	2010	Automated Software Engineering2010，17，5：	1
11	Estimating the feasibility of transition paths in extended finite state machines 显示文摘	Derderian K Hierons R M Harman M	2010	Automated Software Engineering2010，17，1：	1
12	Sample-based software defect pre- diction with active and semi-supervised learning显示文摘	Li M Zhang H Wu R	2012	Automated Software Engineering2012，19，2：	1
13	Refining Model Checking by Abstract Interpretation 显示文摘	P Cousot R Cousot	1999	Automated Software Engineering Journal (S0928-8910)1999，6，1：	1
14	Specification - based browsing of software component libraries 显示文摘	Fischer B	2000	Automated Software Engineering2000，07，2：	1
15	Pattern matching for clone and concept detection显示文摘	Kontogiannis K	1996	Automated Software Engineering1996，，6：	1
16	Automating support for software evolution in UML 显示文摘	Tom Mens Theo D' Hondt	2000	Automated Software Engineering Journal2000，7，1：	1
17	Composition inference for UML class diagrams显示文摘	Milanova A	2007	Automated Software Engineering2007，14，2：	1
18	Applying plan recognition algorithms to program understanding 显示文摘	QUILICI A YANG Q WOODS S	1998	Journal of Automated Software Engineering1998，5，3：	1
19	Test case generation as an AI planning problem显示文摘	Von MAYRHAUSER A HOWR A MRAZ R T	1997	Automated Software Engineering1997，4，1：	1
20	Automated prototyping of user interfaces based on UML scenarios 显示文摘	Mohammed Elkoutbi Isrnail Khriss Rudolf K Keller	2006	Automated Software Engineering2006，13，1：	1

返回顶部每页显示：

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

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

用户提示