长垣产业园区科技文献服务平台 | cy.gmachineinfo.com

期刊

ISSN	1751-8806
刊名	IET Software
参考译名	英国电气工程师学会志：软件
收藏年代	2007～2013

关联期刊	参考译名	收藏年代
IEE Proceedings	英国电气工程师学会志：软件	1999～2006

全部

2007	2008	2009	2010	2011	2012
2013

2011, vol.5, no.1

2011, vol.5, no.2

2011, vol.5, no.3

2011, vol.5, no.4

2011, vol.5, no.5

2011, vol.5, no.6

题名

作者

出版年

年卷期

Automated generation of test cases using a performability model

A. Avritzer; E. de Souza e Silva; R. M. M. Leao; E. J. Weyuker

2011

2011, vol.5, no.2

Standards compliance testing for unified modelling language tools

P. Bunyakiati; A. Finkelstein

2011

2011, vol.5, no.2

Lazy symbolic execution for test data generation

M. X. Lin; Y. L. Chen; K. Yu; G. S. Wu

2011

2011, vol.5, no.2

UML interaction model-driven runtime verification of Java programs

X. Li; X. Qiu; L. Wang; X. Chen; Z. Zhou; L. Yu; J. Zhao

2011

2011, vol.5, no.2

Tool to facilitate appropriate interaction in global software development

R. R. Palacio; A. Vizcaino; A. L. Moran; V. M. Gonzalez

2011

2011, vol.5, no.2

Modelling software process variability: an empirical study

T. Martinez-Ruiz; F. Garcia; M. Piattini; J. Munch

2011

2011, vol.5, no.2

Concurrent usability evaluation and design of software component: a digraph and matrix approach

N. Upadhyay; B. M. Deshpande; V. P. Agrawal

2011

2011, vol.5, no.2

Predicting the software performance during feasibility study

E. Devaraj; S. Kumar; T. Kavi; K. Rajani Kanth

2011

2011, vol.5, no.2

Effort estimation of component-based software development - a survey

T. Wijayasiriwardhane; R. Lai; K. C. Kang

2011

2011, vol.5, no.2

Using lightweight virtual machines to achieve resource adaptation in middleware

H. A. Duran-Limon; M. Siller; G. S. Blair; A. Lopez; J. F. Lombera-Landa

2011

2011, vol.5, no.2