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

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

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

	题名	作者	年代	出处	被引量
1	CDL--A component description language for reuse 显示文摘	Huw E Oliver	1993	International Journal of Software Engineering and Knowledge Engineering1993，3，4：	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	Applying new scheduling theory to static priority preemptive scheduling显示文摘	Audsley N C Burns A Richardson M	1993	Software Engineering Journal1993，8，5：	1
4	Scheduling Hard Real-time Systems: A Review显示文摘	Burns A	1991	Software Engineering Journal1991，6，3：	1
5	Image Processing on Augmented Mesh- Connected Parallel Computers 显示文摘	Hamdi M Hall R W	1994	Journal of Computer and Software Engineering1994，2，3：	1
6	Tool-assisted unit-test generation and selection based on operational abstractions 显示文摘	Xie T Notkin D	2006	Automated Software Engineering Journal2006，，：	1
7	SLABS: a formal specification language for agent-based systerns显示文摘	Zhu H	2001	International Journal of Software Engineering and Knowledge Engineering2001，11，5：	1
8	Component-Based Embedded Software Engineering:Development Framework,Quality Assurance and Generic Assessment Environment显示文摘	Michael R Lyu Kam-Fai Wong	2002	International Journal of Software Engineering and Knowledge Engineering2002，27，2：	1
9	Software testing based on formal specification:A theory and a tools显示文摘	Bernot G Gaudel M C Marre B	1991	Software Engineering Journal1991，6，6：	1
10	Implementation of Elliptic Curve Digital Signature Algorithms显示文摘	Temitope O S Olorunfemi B K Alese S O Falaki	2007	Journal of Software Engineering2007，1，1：	1
11	Parallel computing for seismic re- sponse analysis of immersed tunnel with domain de- composition显示文摘	Guo Y Z Jin X L	2007	Engineering Computations : Interna- tional Journal for Computer-Aided Engineering and Software2007，24，2：	1
12	Component-Based Embedded Software Engineering: Development Framework, Quality Assurance and A Generic Assessment Environment 显示文摘	CAI X LYU M R WONG K-F	2002	International Journal of Software Engineering and Knowledge Engineering2002，12，2：	1
13	Test Scenario Generation Based on Formal Specification and Usage Profile显示文摘	Chang Kai Liao Shih-Sung Chapman R	2000	International Journal of Software Engineering and Knowledge Engineering2000，10，2：	1
14	Goal oriented testing for Multi-Agent Systems显示文摘	Nguyen C D Perini A Tonella P	2010	International Journal of Agent Orien ted Software Engineering2010，4，1：	1
15	Symbolic Execution Systems- a Review显示文摘	Coward P D	1988	Software Engineering Journal1988，3，6：	1
16	Measure of testability as a basis for quality assurance 显示文摘	Bache R Mullerburg M	1990	Software Engineering Journal1990，5，2：	1
17	Agent UML:A Formalism for Specifying Multiagent Software Systems 显示文摘	B B auer J P Muller J Odell	2001	International Journal of Software Engineering and Knowledge Engineering2001，3，11：	1
18	Connecting Closed World Research Information Systems through the Linked Open Data Web 显示文摘	Joerg B Ruiz-Rube I Sicilia M A	2012	International Journal of Software Engineering and Knowledge Engineering2012，，3：	1
19	Intelligent Semantic Concept Mapping for Semantic Query Rewriting/Optimization in Ontology-Based Information Integration System显示文摘	Kwon J Jeong D Lee L-S	2004	Interna tional Journal of Software Engineering and Knowledge Engineering2004，14，05：	1
20	NASAB: A finite element software for the nonlinear aerostatic stability analysis of cable-supported bridges显示文摘	CHENG Jin XIAO Ru-cheng XIANG Hai-fan	2003	International Journal of Advances in Engineering Software2003，34，5：	1

返回顶部每页显示：

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

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

用户提示