知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
1462-5970
刊名
IEE Proceedings
参考译名
英国电气工程师学会志:软件
收藏年代
1999~2006
关联期刊
参考译名
收藏年代
IET Software
英国电气工程师学会志:软件
2007~2013
全部
1999
2000
2001
2002
2003
2004
2005
2006
1999, vol.146, no.1
1999, vol.146, no.2
1999, vol.146, no.3
1999, vol.146, no.4
1999, vol.146, no.5
1999, vol.146, no.6
题名
作者
出版年
年卷期
Effects of structure on the comprehensibility of formal specifications
K. Finney; N. Fenton; A. Fedorec
1999
1999, vol.146, no.4
Multiple view environment supporting VDM and Ada
F. Albalooshi; F. Long
1999
1999, vol.146, no.4
Software engineering research: a critical appraisal
J. A. McDermid; K. H. Bennett
1999
1999, vol.146, no.4
Test cases generation from UML state diagrams
Y. G. Kim; H. S. Hong; D. H. Bae; S. D. Cha
1999
1999, vol.146, no.4
制造业外文文献服务平台