长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
1462-5970
刊名
IEE Proceedings
参考译名
英国电气工程师学会志:软件
收藏年代
1999~2006
关联期刊
参考译名
收藏年代
IET Software
英国电气工程师学会志:软件
2007~2013
全部
1999
2000
2001
2002
2003
2004
2005
2006
2001, vol.148, no.1
2001, vol.148, no.2
2001, vol.148, no.3
2001, vol.148, no.4
2001, vol.148, no.5
2001, vol.148, no.6
题名
作者
出版年
年卷期
Semantic characterisation of dead control-flow paths
I. Hayes; C. Fidge; K. Lermer
2001
2001, vol.148, no.6
Using simulated data sets to compare data analysis techniques used for software cost modelling
L. Pickard; B. Kitchenham; S. J. Linkman
2001
2001, vol.148, no.6
Aspect-orientation and database systems: an effective customisation approach
A. Rashid; P. Sawyer
2001
2001, vol.148, no.5
Real-time design in a distributed control network application layer environment
D. Heffernan; A. Bohannon
2001
2001, vol.148, no.5
Formal semantics of an industrially applicable variant of the specification and description language
C. Grealish
2001
2001, vol.148, no.4
Specification and validation of dynamic systems using temporal logic
S. M. Cho; H. H. Kim; S. D. Cha; D. H. Bae
2001
2001, vol.148, no.4
Rate-based packet scheduling paradigm
H. -Y. Tyan; C. -J. Hou
2001
2001, vol.148, no.4
Permabase: predicting the performance of distributed systems at the design stage
G.Waters; P. Linington; D. Akehurst; P. Utton; G. Martin
2001
2001, vol.148, no.4
Connectors of bridging mismatches between the components of a software engineering environment
S. Herrmann; M. Mezini
2001
2001, vol.148, no.3
Component-based software engineering for distributed embedded real-time systems
U. Rastofer; F. Bellosa
2001
2001, vol.148, no.3
1
2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024