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

241篇 您的检索式：期刊名="ACM SIGSOFT Software Engineering Notes"

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

	题名	作者	年代	出处	被引量
1	π-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
2	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
3	Automatic Synthesis of Deadlock Free Connectors for COM/DCOM Applications 显示文摘	Inverardi P Tivoli M	2001	ACM SIGSOFT Software Engineering Notes2001，26，5：	1
4	Using the Observer Design Pattern for Implementation of Data Flow Analyses显示文摘	GLEB NAUMOVICH	2004	ACM SIGSOFT Software Engineering Notes2004，25，1：	1
5	Principles of survey re- search part 4 : questionnaire evaluation 显示文摘	KITCHENHAM B PFLEEGER S L	2002	ACM Sigsoft Software Engineering Notes2002，27，3：	1
6	DSSA (domain-specific software architecture) pedagogical example显示文摘		1995	ACM SIGSOFT Software Engineering Notes1995，20，3：	1
7	Report on the IEEE STD 1219-1993 standard for software maintenance显示文摘	EDELSTEIN D V	1993	ACM SIGSOFT Software Engineering Notes1993，18，4：	1
8	Discovering Trends in Software Engineering with Google Trend 显示文摘	Jorg Rech	2007	ACM SIGSOFT Software Engineering Notes2007，32，2：	1
9	Trustworthy software systems显示文摘	LARRY BERNSTEIN	2005	ACM SIGSOFT Software Engineering Notes2005，1，30：	1
10	Estimation of quality for software components:an empirical approach显示文摘	Arun S Rajesh K Grover PS	2008	ACM SIGSOFT Software Engineering Notes2008，33，6：	1
11	Foundations for the study of software architecture显示文摘	PERRY D E WOLF A F	1992	ACM SIGSOFT Software Engineering Notes1992，17，4：	1
12	Generating finite state machines from abstract state machines显示文摘	Wolfgang Grieskamp Yuri Gurevich Wolfram Schulte Margus Veanes	2002	ACM SIGSOFT Software Engineering Notes2002，，4：	1
13	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
14	Using Symbolic Execution for Verifying Safety-critical Systems显示文摘	Alberto Coen-Porisini Giovanni Denaro Carlo Ghezzi	2001	ACM SIGSOFT Software Engineering Notes2001，26，5：	1
15	Foundations for the Study of SoftwareArchitecture显示文摘	Perry D Wolf A	1992	ACM SIGSOFT Software Engineering Notes1992，17，4：	1
16	A brief survey of program slicing 显示文摘	B W Xu J Qian X 21mng Z Wu L Chen	2005	ACM SIGSOFT Software Engineering Notes2005，30，2：	1
17	A novel fuzzy based approach for effort estimation in software development显示文摘	SINHAL A VERMA B	2013	ACM SIGSOFT Software Engineering Notes2013，38，5：	1
18	A Simulation Model of a Multi-Server EJB System 显示文摘	DAVID MC GUINNESS LIAM MURPHY	2005	ACM SIGSOFT Software Engineering Notes2005，30，4：	1
19	Semi-proving: An Integrated Method Based on Global Symbolic Evaluation and Metamorphic Testing显示文摘	Chen T Y Tse T H Zhou Z Q	2002	ACM SIGSOFT Software Engineering Notes2002，27，4：	1
20	Foundations for the study of software architecture显示文摘	Perry D E Wolf A L	1992	ACM SIGSOFT Software Engineering Notes1992，17，4：	1

返回顶部每页显示：

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

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

用户提示