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

281篇 您的检索式：期刊名="Software Eng"

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

	题名	作者	年代	出处	被引量
1	Using Model Checking to Generate Tests From Requirements Specifications显示文摘	Constance Heitmeyer	1999	Software Eng Notes1999，24，6：	1
2	Towards a conceptual framework for object-oriented software metrics显示文摘	Neville I Martin J Shepperd	1995	ACM Software Eng Notes1995，20，2：	1
3	Parallel EFG algorithm for heat transfer problems显示文摘	SINGH I V JAIN P K	2005	Advances in Eng Software2005，36，8：	1
4	Specification-Based Prototyping for Embedded Systems显示文摘	Mats P E Heimdahl Steven p Miller	1999	Software Eng Notes1999，24，6：	1
5	Improving Efficiency of Symbolic Model Checking for State-Based System Requirements显示文摘	Richard J Andson Paul Beame	1998	Software Eng Notes1998，23，2：	1
6	Design of object-orientod finite element code显示文摘	PATZAK B BITTITAR Z	2001	Adv Eng Software2001，32，1011：	1
7	A classification and comparison framework for software architecture description languages 显示文摘	Medvidovic N Taylor R N	2000	IEEE Trans on Software Eng2000，26，1：	1
8	An Intrusion-Detection Model显示文摘	DENNING D E	1987	IEEE Trans on Software Eng1987，13，2：	1
9	A metrics suite for object oriented design显示文摘	Chidamber S R Kemerer C F	1994	IEEE Trans Software Eng1994，20，6：	1
10	Object-oriented nonlinear finite element programming: a Primer 显示文摘	COMMEND S ZIMMERMANN T	2001	Adv Eng Software2001，32，8：	1
11	A study of applicability of complexity measures显示文摘	Davis J S Leblanc R J	1988	IEEE Trans Software Eng1988，14，9：	1
12	A Metrics Suite for Objeet Oriented Deslgn显示文摘	Ctfidamber S R Kemerer C F	1994	IEEE Trans on Software Eng1994，20，6：	1
13	PIE:A dynamic failure-based technique显示文摘	Voas J M	1992	IEEE Trans Software Eng1992，18，8：	1
14	Automated Software Test Data Generation显示文摘	Korel B	1990	IEEE Trans on Software Eng1990，16，8：	1
15	Tool support for testing concurrent Java components显示文摘	Long B Hoffman D Strooper P	2003	IEEE Trans Software Eng2003，29，6：	1
16	On Satisfying Time Constraints in Hard-Real-Time Systems显示文摘	J Xu D L Parnas	1993	IEEE Trans Software Eng1993，19，1：	1
17	Requirements-Based Monitors for Real-Time Systems显示文摘	D K Peters D L Parnas	2002	IEEE Trans Software Eng2002，28，2：	1
18	A theory of attribute equivalence in databases with application to schema integration显示文摘	Larson J A Navathe S B ElMasri R	1989	IEEE Trans Software Eng1989，16，4：	1
19	Locating features in source code 显示文摘	Thomas Eisenbarth Rainer Koschke Daniel Simon	2003	IEEE Trans Software Eng2003，29，3：	1
20	DEVS formalism: a framework for hierarchical model development 显示文摘	Conception AI Ziegler P	1998	IEEE Trans Software Eng1998，14，2：	1

返回顶部每页显示：

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

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

用户提示