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

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

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

	题名	作者	年代	出处	被引量
1	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
2	Tool-assisted unit-test generation and selection based on operational abstractions 显示文摘	Xie T Notkin D	2006	Automated Software Engineering Journal2006，，：	1
3	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
4	Refining Model Checking by Abstract Interpretation 显示文摘	P Cousot R Cousot	1999	Automated Software Engineering Journal (S0928-8910)1999，6，1：	1
5	Automating support for software evolution in UML 显示文摘	Tom Mens Theo D' Hondt	2000	Automated Software Engineering Journal2000，7，1：	1
6	Applying plan recognition algorithms to program understanding 显示文摘	QUILICI A YANG Q WOODS S	1998	Journal of Automated Software Engineering1998，5，3：	1
7	Pattern Matching for Clone and Concept Detection显示文摘	Kontogiannis K Demori R Merlo E	1996	Journal fo Automated Software Engineering1996，3，12：	1
8	Model Checking Programs 显示文摘	Visser W Havelund K Brat G	2003	Automated Software Engineering Journal2003，10，2：	1
9	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
10	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
11	Runtime recovery and manipulation of software architecture of component-based systems显示文摘	HUANG Gang MEI Hong YANG Fuqing	2006	International Journal of Automated Software Engineering2006，13，2：	1
12	ADK:an agent development kit based on a formal model for multi-agent systems显示文摘	XU Hai-ping SHATZ S M	2003	Journal of Automated Software Engineering2003，10，4：	1
13	Granularity-driven dynamic predicate slicing algorithms for message passing systems显示文摘	LI H F RILLING J GOSWAMI D	2004	Automated Software Engineering Journal2004，11，1：	1
14	User interface reverse engineering in support of interface migration to the Web 显示文摘	Stroulia E El-Rarely M Iglinski P	2003	Automated Software Engineering Journal2003，10，3：	1
15	Rewriting-Based Techniques for Runtime Verification显示文摘	Rosu G Havelund K	2004	Journal of Automated Software Engineering2004，12，2：	1
16	Industrial applications of software synthesis via category theory-case studies using specware 显示文摘	Williamson K Healy M	2001	Journal of Automated Software Engineering2001，8，1：	1
17	Estimating the feasibility of transition paths in extended finite state machines 显示文摘	DERDER1AN K HIERONS R M HARMAN M	2010	Automated Software Engineering Journal2010，17，1：	1
18	Model checking programs 显示文摘	Visser W Havelund K Brat G	2003	Automated Software Engineering Journal2003，10，2：	1
19	Strongest post-condition semantics as the formal basis for reverse engineering 显示文摘	Gannod G C Cheng B H C	1996	Journal of Automated Software Engineering1996，5，3：	1
20	Refining model checking by abstract inter- pretation 显示文摘	Cousot P Cousot R	1999	Automated Software Engineering Journal special issue on Automated Software Analysis1999，6，1：	1

返回顶部每页显示：

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

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

用户提示