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

378篇 您的检索式：期刊名="Software Engineering Notes"

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

	题名	作者	年代	出处	被引量
1	An efficient relevant slicing method for debugging 显示文摘	Tibor G	1999	Software Engineering Notes1999，，：	2
2	π-Method: A Model-Driven Formal Method for Architecture- Cena'ic Software Engineering 显示文摘	Oquendo F	2006	ACM SIGSOFT Software Engineering Notes (S0163-5948)2006，31，3：	1
3	Use of genetic algorithm in generation of feasible test data显示文摘	SRIVASTAVA P GUPTA P ARRAWATIA Y	2009	ACM Sigsoft Software Engineering Notes2009，34，2：	1
4	Automatic Synthesis of Deadlock Free Connectors for COM/DCOM Applications 显示文摘	Inverardi P Tivoli M	2001	ACM SIGSOFT Software Engineering Notes2001，26，5：	1
5	Using the Observer Design Pattern for Implementation of Data Flow Analyses显示文摘	GLEB NAUMOVICH	2004	ACM SIGSOFT Software Engineering Notes2004，25，1：	1
6	Principles of survey re- search part 4 : questionnaire evaluation 显示文摘	KITCHENHAM B PFLEEGER S L	2002	ACM Sigsoft Software Engineering Notes2002，27，3：	1
7	DSSA (domain-specific software architecture) pedagogical example显示文摘		1995	ACM SIGSOFT Software Engineering Notes1995，20，3：	1
8	Automated Program Flaw Finding Using Simulated Annealing显示文摘	John Clark Keith Mander	1998	ASM SIGSOFT Software Engineering Notes1998，23，2：	1
9	Implementing Protocols Via Declarative Event Patterns显示文摘	ROBERT J WALKER KEVIN VIGGERS	2004	ACM SIGSOFF Software Engineering Notes2004，29，6：	1
10	Report on the IEEE STD 1219-1993 standard for software maintenance显示文摘	EDELSTEIN D V	1993	ACM SIGSOFT Software Engineering Notes1993，18，4：	1
11	Discovering Trends in Software Engineering with Google Trend 显示文摘	Jorg Rech	2007	ACM SIGSOFT Software Engineering Notes2007，32，2：	1
12	SOBER:Statistical model-based bug localization显示文摘	Liu C Yan X Fei L	2005	SIGSOFT Software Engineering Notes2005，30，5：	1
13	Trustworthy software systems显示文摘	LARRY BERNSTEIN	2005	ACM SIGSOFT Software Engineering Notes2005，1，30：	1
14	Estimation of quality for software components:an empirical approach显示文摘	Arun S Rajesh K Grover PS	2008	ACM SIGSOFT Software Engineering Notes2008，33，6：	1
15	Foundations for the study of software architecture显示文摘	PERRY D E WOLF A F	1992	ACM SIGSOFT Software Engineering Notes1992，17，4：	1
16	Configuring business process models 显示文摘	Jiang Jian min Zhang Shi Gong Ping	2013	Software Engineering Notes2013，38，4：	1
17	Generating finite state machines from abstract state machines显示文摘	Wolfgang Grieskamp Yuri Gurevich Wolfram Schulte Margus Veanes	2002	ACM SIGSOFT Software Engineering Notes2002，，4：	1
18	Component-interaction au-tomata as a verification-oriented component-based system specification显示文摘	Brim L Cerna I Varekova P	2006	ACM SIGSOFT Software Engineering Notes2006，31，2：	1
19	Using Symbolic Execution for Verifying Safety-critical Systems显示文摘	Alberto Coen-Porisini Giovanni Denaro Carlo Ghezzi	2001	ACM SIGSOFT Software Engineering Notes2001，26，5：	1
20	Foundations for the Study of SoftwareArchitecture显示文摘	Perry D Wolf A	1992	ACM SIGSOFT Software Engineering Notes1992，17，4：	1

返回顶部每页显示：

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

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

用户提示